p <=> q <=> c