ignored files
stop creating more axioms just to remove annotations
attempted fix for absorption issue with cycles (doesn't work)