![@chrisamaphone@hci.social avatar](https://mbin.grits.dev/media/cache/resolve/avatar_thumb/ad/46/ad46db704a0583c7d400115b28e858829e442dd31942bd463b60965929204031.jpg)
![@chrisamaphone@hci.social cover](https://mbin.grits.dev/media/cache/resolve/user_cover/f2/da/f2da75273f51244b231eb29af1d8a50c96849e420f19a4f0f70aa260170157e8.jpg)
![@chrisamaphone@hci.social avatar](https://mbin.grits.dev/media/cache/resolve/avatar_thumb/ad/46/ad46db704a0583c7d400115b28e858829e442dd31942bd463b60965929204031.jpg)
Bewildered/rewilded logician
¬(∀x. free(x)) ⇒ ¬∃x. free(x)
This profile is from a federated server and may be incomplete. For a complete list of posts, browse on the original instance.
Bewildered/rewilded logician
¬(∀x. free(x)) ⇒ ¬∃x. free(x)
This profile is from a federated server and may be incomplete. For a complete list of posts, browse on the original instance.