WIP: fighting with existentials