as in some (inline) cases it indeed can be proven ...
# announcements
m
as in some (inline) cases it indeed can be proven that the block always runs