Before revision: Example ivdn fkfndnkdknfkdkb && check(a) does not imply check(b).
After revision: Example One way of applying a trademark in java: public class Trademark// Use a weak identity hash set instead if // a.equals(b) && check(a) does not imply check(b).