LHS and RHS written out