void (Node<?> n) { assert !isBlack(n) || isBlack(n); if (n == null) return; assert n.getParent() != n; assert n.getLeft() != n; assert n.getRight() != n; assertParentChild(n); verifyProperty1(n.getLeft()); verifyProperty1(n.getRight()); }