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