!["C'mon man, (?y.M)[x := N] ? ?y.(M[x := N]), if x ? y, provided y ? FV(N) is the process of replacing all free occurrences of V in the expression E with expression R." "Damn, thanks Barbie!" says Steven.](https://i.imgur.com/fMfjrfW.png "\"C'mon man, (?y.M)[x := N] ? ?y.(M[x := N]), if x ? y, provided y ? FV(N) is the process of replacing all free occurrences of V in the expression E with expression R.\" \"Damn, thanks Barbie!\" says Steven.")
Create your own!
"C'mon man, (?y.M)[x := N] ? ?y.(M[x := N]), if x ? y, provided y ? FV(N) is the process of replacing all free occurrences of V in the expression E with expression R." "Damn, thanks Barbie!" says Steven.
Create your own!
"C'mon man, (?y.M)[x := N] ? ?y.(M[x := N]), if x ? y, provided y ? FV(N) is the process of replacing all free occurrences of V in the expression E with expression R." "Damn, thanks Barbie!" says Steven.