implementing tests of the form