https://harizanov.com/2013/12/i-am-a-quantifiedself/