Add comments
Assert that some operations succeed