A change from one reasoning state to another, licensed by explicit justification like citations or computations.