Ben Millwood writes: > The documentation and/or laws should probably be altered to prevent > the definitions 'unit = const 1' and 'associate = id' :) Good point. It should say that if x and y are factors of each other then associate x == associate y.