Treat Z3 Intervals as ME for TSS?