I bet even the majority of relevant STEM graduates (CS, math, Philosophy (?), etc.) do not understand lambda calculus beyond the bits and pieces they remember f

I bet even the majority of relevant STEM graduates (CS, math, Philosophy (?), etc.) do not understand lambda calculus beyond the bits and pieces they remember from "that dreadful class about formal logic or something like that" they had in their first college semesters. I learned to calculate/reduce (are those the right words?) lambda calculus expressions where one line would span multiple lines on wide paper for college. I don't think I ever understood much of it. Thinking back on this makes me so, so glad I will never have to study this ever again.