Vaught's test

Summary