make reference to Agda a footnote. Issue #2