let
power_of_2 n = n
land
(pred n) = 0