Linear Formula Definition