formal background design for certificate - Search