Specification Met: AHAM Verifide