# Quantification (AOP)

> In AOP, we make quantified statements about which code is to execute in which circumstances:

In [AOP](https://wiki.g15e.com/pages/Aspect-oriented%20programming.txt), we make quantified statements about which code is to execute in which circumstances:

> In programs P, whenever condition C arises, perform action A

In the statement above, C is the quantification.

## See also

- <Static quantification>
- <Dynamic quantification>