non-null assertions.