deal with abr_rex("ab+") (still have to reverse)