algorithm proofs tagslist