### Possible extension

