xs = [xs]; deep = !n -> !list -> ite (eqI n 0) True (ite (null list) False (deep (sub n 1) (head list)));