有没有数学推理，或者图形推理呀？