Empty Logic by Hsueh-Li Cheng