Adding the canonical structure of an argument