https://coffeemuses.com/2006/10/03/it-depends-on-what-the-definition-of-is-is/