Assertions 4.3 and 5.3