Extension (Extended Version)