Agda is capitalized.