New posts in Combinatory Logic