implemented ISVOID and streamlined implementation of TILDE with NOT