Testing for incompleteness