The existence of Joe Biden necessarily implies Joe Triden and Joe Quadriden