Enumerate-Conjecture-Prove: F | Pangram Labs