WyC: updated invalid test cases so that I think they now all make sense.