proved stronger equivalence for “move Transl through CheckWithin”