Here be writings, tagged as "systems-correctness".