Alex you convinced me that (s/coll-of …) is data and that predicate equality isn’t a practical objection

Thanks for the deep dive yesterday