Define a non-trivial test