Logic Agent 2 [dev.]