Revert the condition for checking formulae exist