add a paranoid invariant