If real definition contexts were merely intensional, substitution of necessarily co-extensional term...