Text this: Towards projective set theory