5.7ex V
Still More Derivations (using all rules)

Here are the same problems described as "harder" in 5.6ex X. Using the newer rules of SD+, these are easy!