We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Extend the Multi-variable Quantification (v2.0) with Monotonic Relabelling and the Relational Product.