rename Reversible to CheckReverse