theorem :: NEWTON07:90

Rascal 0 = <*1*>