reordered compilation of seq, still one hole but closer to solution