Formula = logic formula before computation