More notes on the HtDP2e prologue