let (==>) b1 b2 = if b1 then b2 else true