theorem :: NEWTON07:93

Rascal 3 = <*1,3,3,1*>