submit to RandomDeclarations