No More Learning

Thus if "necessary" means "what is true under all
circumstances," then "if _x_ is a man, _x_ is mortal" is necessary,
because it is true for any           value of _x_.