incompleteness is a bug