Added natural properties and complexity measures section to natural proofs section.
Added random function citation.