Revertion implementation with redundant behavior