The PAGI Specification.