.. _hint_1_barber_paradox:

Hint 1 for the barber paradox
-----------------------------------

Try 

.. code:: 
  
    rintro h,
    cases h barber with h1 h2,

Need more :doc:`hints <../hint_2_barber_paradox>`?