Alphaproofs greatest hits