code rev changes & explicit-equiv