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

public static bool What(BinNode<int> 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. עבור כל אחת מטענות הבאות ענו אם היא נכונה או לא. אם הטענה אינה נכונה, יש לצייר דוגמת עץ סותרת.