New: logical-reasoning