Synthesis for Transitivity