extend the Agda modell