Title: Sound reasoning