left step for right transitivity.