Turn on global flycheck
Add duplicate-opposite-property