When attempting to lambify an expression with cot:  The following error is displayed: 