ptyl : delta theory : chapter 3 : log...
