Agda : “ Hur kan du veta det ?“