#verifiable-reasoning