towards using primitive variables for everything
to modify the first order lhs for primitive variables