returnsNotNull