4.10 Curry schonfinkelize