Formal justification of one's belief