("value" <= (2 ^ "foo"))
