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