Before revision:  Finally, we prove the well-definedness of semimartingale Libor models given by a backward construction .
After revision:  Finally, we prove the well-definedness of semimartingale Libor models , whose construction crucially relies on a sequence of measure changes .