p <=> (p <=> q)