Text B Result of Persistence