Sound vs. Syntax