https://9lib.net/document/6qm6n69y-problem-representation-for-refinement.html