https://cerkit.com/posts/managing-infinite-concepts-with-finite-constraints/