Added: modified Bordes code for RE