Improved returned verifications/assertions.