Going through Dr Brian Harvey's CS 61A - so this is well timed, thank you for sharing.