When p = c/n and c goes from less than one to greater than one, the ra
ndom graph G(n, p) experiences the double jump. The first order langua
ge is too weak to recognize this change while there are properties exp
ressable in the second order monadic language for which the change is
clear. (C) 1994 John Wiley & Sons, Inc.