John Searle (1932-2025) https://dfaria.eu/1165 https://bsky.app/profile/dfaria.eu/post/3lzwcmrt2h72e