INT by Synthesis