it wasn't trivial to implement a concatenation of TheoData instances, so I didn't do it