Finally, we can call the dec_health method to decrease the instance's health.
dec_health
health
Make sure to type mario.dec_health().
mario.dec_health()