通常你得先抽象、再推论