star-reasoning

(1)