if should_be&lt;level(right(t))then