https://ma.tt/2010/05/automatticians-in-sf/