DMARC-compliance through SPF coverage.
Envelope domain is DMARC-domain, servers can be included into SPF.