distinction between none and void