https://pauljacobson.me/2018/09/14/where-does-the-expression-ok-come-from/