Synthesis and Nullification