forgot example with existentials