example : (¬ False) = True :=
  by simp (config := { decide := false } )