New: logic-vs-will