Situationen är alltså denna: