lower::=