An integrated judgement infrastructure expressed through a small number of papers.