[SR-Users] Problems with topos and UPDATE messages