Med Agda hade en förundransvärdsinnesförändring