Designing a 4D World: Miegakure