https://5dok.net/document/ky6xoe4y-are-selfless-assertions-hedged.html