public boolean isMarioOnGround() {
   return mario.isOnGround();
 }