Alfa proofs (or lack thereof)