logic1000 by Xiaofu Wang 2