https://ma.tt/2005/07/turing-upgraded/