Stuck at the first level for a little while, which brings me to think: how could one, while designing a level, be 100 percent certain of the unsolvability of the level?