compile, but expldoes
a few @Salat too many :)
refactoring invariants
monitoredField
monitor+insert
delete monitoring