.. _hint_3_negation_exercises:

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

If your target is ``false``, and one of your assumptions is ``hnq : ¬ Q`` then try

.. code:: 
  
  refine hnq _,