File:Viviano's deadlock.png