use varphi instead of phi
moar defs (rings)
+ split defs in defs_gruppen and defs_ringe