person

fsm ΛↃ lambda combine