Detta exempel är , så vidt vi veta,