First edit - Assertions