sinh::=