completeness under incompleteness osu