frege.rt

Class Lam4