move "A factorial problem" to high numbers
reference smullyan's book
add idea for combinator