Man kan alltså tänka sig,