ofvanstående förmodan är riktig.