λϕ4 as an effective theory in de Sitter | Synapse