4.3 抽象与推理