sin::=