Det befanns förhålla sig så,