balow_ad2_proof