Definition of "extensions"

extensions