You're not logged in. Exercises work as usual, but progress is not tracked.
Here is a random formula!
(¬((s → y) ∨ m) ∨ w) ∨ j