Every monotone graph property has a sharp thresholdSharp thresholds of graph properties, and the k-sat problem
