α-Properness and Axiom A