# PROPERTY

> The property, in a form that could be false

Record: `pag:keyword-invariant-property`
Kind: keyword
Canonical: https://banes-lab.com/ontology/grammar#pag-keyword-invariant-property

Listed in [Grammar records](https://banes-lab.com/api/records/pag.md), after [INVARIANT](https://banes-lab.com/records/pag/keyword-invariant-invariant.md) and before [OVER](https://banes-lab.com/records/pag/keyword-invariant-over.md).

## Grounds

- [substrate-node:invariant](https://banes-lab.com/records/reasoning/substrate-node-invariant.md)