See [diff.basic].