(but that does have diagrammed assertions)
# strikt
r
(but that does have diagrammed assertions)