Happy <call-by-name week> to all who celebrate…