Alpha proof