Next picture. Two Logicians from Pittsburgh: Matthew Szudzik and Mike Dunn.