Rosser's trick (source code)

= Rosser's trick
{wiki=Rosser's_trick}