Γ⊢Δ
A sequent
From the Latin sequens, “following.”
⊢Read it as logic
The basic statement of the sequent calculus, introduced by Gerhard Gentzen in 1934 to study the structure of proof itself.
ΓAntecedent. What is given: statements taken together, all assumed to hold.
⊢Turnstile. “Yields”: the right side follows from the left by valid steps.
ΔSuccedent. What follows: statements, at least one of which must hold whenever everything in Γ does.
The left side reads as and; the right as or.
⊢Read it as a decision
We use the same form for decisions: be exact about the starting point, make the reasoning visible, and commit to where it can actually lead.
ΓScope. Here. What is true about the business now: people, capital, evidence, constraints. Not what we wish were true.
⊢Focus. The step. The reasoning that connects here to there, stated plainly enough to be tested and challenged.
ΔCommit. There. Outcomes, plural. A sound decision names the ends the premises can support, and commits to reaching at least one.
The only way to get there is from here.
Scope. Focus. Commit.
Sequent Decisions
Limited
The only way to get there is from here.
⊢The work.
Best practices exist for everything; they rarely account for where you actually are. The right path for your company, your team, your market, your moment is never a single choice or a straight line. Good outcomes come from a sequence of good decisions. We focus on the consequential ones, the decisions that shape what comes next.
No programs, no templates, no recycled playbooks, no spin, no pretense. We seek first to understand, we work decisions side by side, then act with purpose to get stuff done.
Tell us your story
⊢Engagements.
The first hour is on us. Bring the question or the situation. If the fit is right, we shape the terms around the work: fee-for-service on a defined assignment, a retainer for work in progress, contingent fees, or a shared-upside agreement. We've worked on everything from a single decision to nine-figure mandates, across software, hardware, consumer goods and frontier science.
Sequent Decisions works alongside founders, executives, and organizations facing consequential decisions in business, technology, growth, or change.
What is the assignment
⊢About us.
Sequent Decisions is led by founder Graham Truax. He works with a small group of trusted advisors, strategists and operators, and brings them in when the work calls for it.
Talk to Graham