Redirecting to the live Fliff four-source proof: /proof?book=fliff