cuts from axioms implementation almost complete