Additional application of NotNull