Greg Restall teaches and researches in Logic and Philosophy at the University of Melbourne. He's likes the way his work oscillates between the discursive and the technical. When proving a theorem is too difficult, there's always handwaving. When coming up with a good explanation for something doesn't work, we can retreat into technicalities. Greg blogs at consequently.org.