random
search
propose
stats
One can't proceed from the informal to the formal by formal means.