Notes concerning “Self adjusting computation”