My main problem with it is that is actually a far stronger assertion than our intuition of what possibly means . As a result it makes seemingly anodine assumptions lead to unacceptable results because the assumptions weren ' t actually acceptable in the first place . Another problem is that it doesn ' t always respect other rules of logic that we would like to apply such as the substitution of a property quantified . A problem that is actually present in Fitch ' s proof . sorry I got annoyed and accused youDon ' t be , you were not entirely wrong . I do stand by my initial comment , but it did deserve to be a little more nuanced . <| sep |> Aww , poor baby . With all the downvotes your generating around here , doesn ' t look like you ' re making much of an argument . Run along , now . Your M $ Windoze 10 shitware has sailed right past me .