PITI-Synthesis's Following