Verifying the absence of undeclared activities