theorem :: NEWTON07:92

Rascal 2 = <*1,2,1*>