tuple generation
fixing up specs