Asserting Implications (by matklad) — discussion

#zig