Vaught_conjecture loading ...