- Refined @NotNull contracts