Trailing ;
Kill warning
Add property test for equality