…not only is code a type of data (Turing’s approach), but also data is a type of code (Church’s approach).