If identity is necessary, a theory committed to Hesperus is automatically committed to Phosphorus, e...