Följaktligen gjorde de detta.