Logic in Nanjing