Sound reasoning