Man tänke sig följande fall: