Preverification Babelize f