https://5dok.net/document/1y9mnrwq-a-note-on-perfect-partial-elimination.html