[abmReasoning]

pushed working !