An outline of some tests which we'll need