Removed capital DiskBinTree