The mathematical truths are the fruit of the work. The social consensus is an implementation "detail". Yet it's the implementation we have. Does this make better sense now?