added completeness corrections

also condensed the appendix and moved it to the incompleteness
discussion.