A ^ ~A