Implicit structures may be ambiguous or admit multiple formalizations, making articulation theory-de...
This proposition has not been edited since the history system was added.