private void checkTreeMembership(Position<T> pos) {
		if (!(pos instanceof GeneralTreeNode)
				|| !((GeneralTreeNode<T>) pos).sameTree(this)) {
			throw new IllegalArgumentException("Invalid position for this "
					+ "tree.");
		}
	}