hybrid-reasoning

(1)