Fruitful and helpful ordinal functions