Saken ställer sig följaktligen så: