Working through a small tiling result — AI Alignment Forum