@sree@ublog.thirdlaw.net I've 100% been thinking about this myself. More and more needs to be put into the formalization of these systems if we're going to continue relying on these tools.