lots more symbolic tuple tests that just work