Clarifies which parameters we are describing.
Typo: formula -> circuit.
Merge branch 'master' of github.com:jfinkels/ncpcp into approximability
Corrections.