Which of these is a 4-tuple?