changed deadwall to 2 disjoint vectors whose length adds to 14 and the second of which (drawable tiles) has length no greater than 4. Proved the latter in deadwall draw, still need to prove the former.