Vi tänka oss följande omskritning: