https://123dok.net/document/y8g7d3j5-stefan-s-definition-foliation-singularities-reduction-axioms.html