Mas a lei refere a extinção da pena, não refere a declaração da extinção da pena. É que se é verdade que para que uma pena formalmente seja considerada extinta tem de haver uma declaração nesse sentido, também é certo que o fator extintivo de uma pena necessariamente tem lugar antes da declaração que lhe confere a chancela.