Clafer Moo universe with formulas replaced.