Typical analysis: PKUP Specification.