Working on pulling existentials. This does not compile