tan::=