A Lagrangian effective field theory