This page needs JavaScript. Its content is readable as markdown at
/raw/task/prove-absence-by-enumeration.md
.