another test, and better semantics