Option A 'A finished game must not be tied' is the proper way to state this constraint rule. Option B 'A game must not finish if tied' is awkwardly phrased and less clear. Business rule statements should be direct and unambiguous about what state or condition is not allowed.