changed confsRestriction Axiom and fixed all proofs that depended on it