Hot: logical-reasoning