.. _hint_2_negation_exercises:

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

If two of your hypotheses are ``hp : Q`` and ``hnp : ¬ Q``, then the term 

.. code:: 

  hnp (hp)
  
has the type ``false``.

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