Revised Hot Goal Logic