Hot: logic-vs-will