txreading and spec