revision the translation of Either

checking and checking...