Super Mario 3D World is fun!