Notes concerning “Umut Acar’s “self-adjusting computation””