Title: Synthesis of Incompleteness