these asserts should be full blown if `x: raise ValueError` kind of statements.