cot::=
