dasselbe zu sagen „zwei Namen haben einen Träger” & „zwei Namen haben ein & dieselbe Bedeutung”? (Morgenstern, Abendstern, Venus)