Finally, we can call the dec_health method to decrease the instance's health.

Make sure to type mario.dec_health().