A HappyViper Property