Finish the first demo for NotNull