Saken vore helt enkelt denna.