Decimation example.

See #13.