#structural-invariant