Introduction & Specification