Title: Formal representation of human judgment