Some technical vocabulary introduced in Whitaker article on hardness of testing.