first cut at exists bits