RepTransformer correctness