en:concrete_reasoning