Proved 6.8 and 6.9 using improved "fold".