Yeah, but: how many "visual" representations have no text? What does this mean and how does it excuse a 'visual' article being all text? I doubt those "academ

Yeah, but: how many "visual" representations have no text? What does this mean and how does it excuse a 'visual' article being all text? I doubt those "academics" are earning more than median sw devs Do you think the point might have been more about the pragmatism of formal verification?