more on differentiability; hw on differentiability