SMS: Combinatory logic/