Initial extensions