Consistent_and_inconsistent_equations loading ...