https://123dok.net/document/z1d447o3-reifying-default-reasons-in-justification-logic.html