Adds filler sentence describing constructive proof.
Renames section to 'Completeness results'.