Overview for nothing-to-declare