for x, y, z being boolean object holds
( x <= y => z iff x '&' y <= z ) ;