hank
formalizing
implication
nonevent
achingly
Hume