C o n (Z F + \neg A C)