Deakstadieđáhus: Combinatory logic/