theorem :: NEWTON07:91

Rascal 1 = <*1,1*>