P4 assumes a separation-style comprehension schema, but this presupposes a background domain of sets...