When there are 100 explanations of some topic, maybe it's not so trivial, after all, even when the bare axioms seem trivial.