add using-assumptions-and-gentle-helps-from-mma.nb