https://5dok.net/document/4yrok9py-formalizing-concepts-crimes-criminals-chapter-introduction.html