Solving more assertions