public boolean isMarioAbleToJump() {
   return mario.mayJump();
 }