Updated ART Spec with last-minute changes