typesetting be a harsh mistress