CF: reference doesn't mean it's not null