Definition of Mace Proof