https://123dok.org/document/lzgpwlnz-ought-implies-can-counter-examples-and-intentions.html