נתונה פעולה הבאה:

public static boolean what(BinNode<Integer> t)
{
 if (t==null) return true;
 int x = t.getValue();
 if (t.getLeft()!=null && t.getLeft().getValue()>=x)
     return false;
 if (t.getRight()!=null && t.getRight().getValue()<x)
     return false;
 return what(t.getLeft()) && what(t.getRight());
}

נתון עץ בינארי t שעבורו הפעולה what(t) מחזירה ערך true. עבור כל אחת מטענות הבאות ענו אם היא נכונה או לא. אם הטענה אינה נכונה, יש לצייר דוגמת עץ סותרת.