https://123dok.net/document/qvl1l0ld-scalable-efficient-correct-boundary-learning-algorithm-faithfulness-condition.html