Synthesis lib