https://www.guffo.in/characteristics-algorithm-finite/