Mandatory declarations