mant
ı
k
P1
Whatever can be described, agents can build and run.
∀x (D(x) → R(x))
P2
Your business logic can be described.
D(ℓ)
∴
Agents can build and run your business logic.
R(ℓ)