Tagged: verifiable reasoning paths