lookup2 k (Cons (Tup2 x y) xys) = lookup1 k x y xys (esEsMyBool k x)
lookup2 k (Cons (Tup2 x y) xys) = lookup1 k x y xys (esEsMyBool k x)
lookup2 k (Cons (Tup2 x y) xys) = lookup1 k x y xys (esEsMyBool k x)