Improved combinors #4 #5