Proving ASA