ADDED: prime and pseudo-testing, the basics