theorem :: NEWTON07:94

Rascal 4 = <*1,4,5,4,1*>