IMPLICATION_BACKWARD

RegularExpression Id.