Fleshed out what rules are in a weird, set-theoritic universe