assert check works