No games have been played by Luca Sangiovanni-Vincentelli