Logic Agent 1 [WORKS]