assertions and exceptions update