Probing EFX via PMMS: (Non-)Existence Results in Discrete Fair Division