$C o n ( Z F + ¬ A C )$