polished introduction a little, completeness proof still needs some work