bazypru lujvo

x₁=p₁ is tentative for purpose / satisfier x₂=b₂ under conditions x₃=b₃, before sufficiency x₄=p₂; x₁ is a work-in-progress or placeholder; x₁ is not yet processed.

• jbovlaste