Further ensured server states after behaviours are exercised