Adding in retractive, additive evidence checking