Avoid assuming declinism

→