Martingale theory for housekeeping heat. (7th January 2019)