random
search
propose
stats
Proof by omission: The reader may easily supply the details. The other 253 cases are analogous.