Text this: On the axiomatizability of some first-order spatio-temporal theories.