Man tänke sig följande: