Turn advanced mode on or off yourself

Profile Settings now has a Preferences section. The first control is an Advanced mode switch, with a short note explaining what it does. Flip it and the change saves on its own — no Save button. Advanced mode lets you edit an argument's logic more directly, with fewer guardrails; leave it off until you're comfortable working with the underlying structure.

One thing it unlocks: when you build out a premise, the operator at the top of that premise normally cycles between implies and if-and-only-if. With advanced mode on, you can also cycle that top-level operator to and / or, letting you group claims directly at the root of a premise.