left::=