3个好工具: 逻辑、算术和概率