extension [pl. extensions]