Elementary extension