removed requirement that LHS and RHS be fresh