>>1789264I actually do theology/philosophy of religion. I'm the dude with the reseach grant that once talked a little bit with you about grad programs and such.
Obviously the proof as it is in that screenshot is like 30% complete and doesn't demonstrate anything. I have it done a bit more now; I'm trying to think of a way to show that J cannot definitively contain all y in C'.
