todo for combinatory logic