verifiable reasoning