take a look, remove existentials