ml-handout-completeness2.pdf