Reversals are all checked