Agda : " Hur kan du weta det ?"