frege.rt

Class Box.Bool