pruned

• infinitesimals
• clodhopper
• whiter
• revisits
• unleashing