if and only if, stronger ;-P