add some Preconditions not null