 It is a part of our ordinary practice that we sometimes define terms not absolutely but conditionally. We sometimes affirm a definition not outright but within the scope of a condition, which may either be left tacit or may be set down explicitly. So, for example, we may define F(x, y) to express the notion “first cousin once removed” by stipulating that