Update examples.
Switch from equations to general properties