j. Tiling the Texas basement (903)