Renormalization and non-renormalization of scalar EFTs at higher orders | Synapse