4

Cursor discovered a novel solution to Problem Six of the First Proof challenge