Revised Specification