.. _hint_1_negation_exercises:

Hint 1 for Day 1 negation exercises 
-----------------------------------

If your target is ``¬ Q``, then try using 

.. code:: 
  
  rintro hq,

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