--(- (p => q) <=> p & - q	).	
