Zig Notes: correctness