added checkNotNull precondition