Refactor known set and add all the documentation