[p → q]

if p, then q

We're interested in the arrow.

We study the layer between language and consequence.

pwhat can be said
→how it becomes something
qwhat actually happens

Scope

Seminal work in reasoning, behavioral training, agents, and alignment matters.

Singular focus, no management overhead, no product cycles. A research question before a category.

Work

Our first proof is Wittgenstein, a modality harness for text-first LLMs.

At [p → q] we won't hide risk from you, but we won't manufacture panic either. (We have better ways of holding your attention.)

or talk to us if you are interested in the arrow → hi@ptoq.io