Adds initial skeleton for proof of completeness.