$ARA

Simp Verification in Progress...