Miegakure is a puzzle-platforming game that lets you explore and interact with a 4D world. The fourth dimension in this game is not time, it works just like the first three: it is a mathematical generalization.