add asserts solutions