Title: Formal representation of human judgement