The avatar pic is of a barber who only shaves those who don't shave themselves (does he shave himself?), from Logicomix.
The title is the coolest proposition I got to use as a lemma.
<div style="white-space:pre-wrap;">The avatar pic is of a barber who only shaves those who don't shave themselves (does he shave himself?), from Logicomix.<br><br>The title is the coolest proposition I got to use as a lemma.</div>