(a <=> b) <=> c