existential and unsafebox vectors working