Is DMARC record really as simple as it sounds?

Shopify Discussion
,
76

found the sender of the mail to be

Received: from o11.mailer.shopify.com (o11.mailer.shopify.com. [149.72.235.154])

So I think its safe to say the mailer.shopify.com should be in the spf record