How is it possible to use concepts of set theory to define predicate logic when we use predicate logic as the underlying logic of set theory (ZFC)? In the TV show House of Cards, what kind of relationship does Kevin Spacey have with his wife and their chauffeur?