image Actually, for the machinery of proving well posedness, finite differentiability to some higher order is needed.