A theory of theories with judgement