boolexpr (def not finished tho)