Vaught's test