nonnull and nullable + checker methods