A necessarily existing abstract object, such as the number 7 or a mathematical truth, satisfies nece...