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

perhaps add 'usually'