Comment by @jnbfc • Hey

nice definition