From my experience , people with mental disabilities are generally very happy . But what a dangerous , self absorbed , sense of logic it is to determine the worthiness of someone else ' s life based on your own set of standards . So if you decided that you would never want to live life as a poor person , do you think you are morally justified in killing poor people ? Do you agree with Hitler ' s idea on Eugenics ? Just curious where you draw the line here . <| sep |> But he can not enforce it . Laws don ' t count if violations thereof are neither investigated or enforced . <| sep |> Coq Lemma duality forall bbool , b 3 From the guy ' s comments . First off , I ' m fairly sure that ' s not going to type check in Coq . Second of all , that ' s not a proof , it ' s a proposition .