Logic Agent 1 [dev.]