cgrig/papers — comment on commit e6134e9afdebd02e99b530f3348334a237aeb253
File: agere/types.tex line 204
By rgrig:

'subtle but differences' -> 'subtle but important differences'