Simple membership (PMP) => Simple M. group (ML)