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