Tarski–Vaught_test loading ...