hacks for doing existentials with multiple indices