make sure equality still works!