https://blackblake.github.io/posts/Knowledge-assert-input/