lecture09: extensions: higher-order derivatives