Renamed incompleteness
Solved problem 19