Definition of Extra Quatuor Maria