It's Turing complete! Lambda's definitions work