Complexity, transparency, and the warranted use of formal systems in legal factfinding