random
search
propose
stats
A mathematician is a machine for converting coffee into theorems.