tup ::= <"aardvark", "cat", "dog">;