frege.rt

Class Lam16