Scalar effective Lagrangian in de Sitter space | Synapse