Tests: more on expressiveness