verifying notatree...
verification must be done on a full tree