Comment by bbg2401

It should never have been a mere formality anyway.