We should throw if we find invalid assertion, for visibility.