well in a normal game this would be straightforward: lynch sponge find out whats up with mutton
but lynching sponge won't tell us anything about mutton unless sponge is the king (which I do doubt) in which case game over
so obviously QED /unlynch Kt,/lynch simonj