Vaught's_theorem loading ...