Men om de uppfylde alla formaliteter,