Adding content for 014 and adding missing labels for proofs.
Adding cross-references induced by 014