initial null set not necessary