frege.rt

Interface FV