Playing a video game with Mario in it is entertainment