Is Deathknell mandatory, or can you choose not to use the effect?

Ruling: The Deathknell trigger is mandatory and the effect is also mandatory unless it uses the word "may".

Nuances:

• In situations where the Deathknell trigger would do nothing, it still happens but just does nothing.