let's also add `@NotNull` to the result