finsihed pp, starting hf theorem