uncommented boxed boxed declaration until sure it isn't required anywhere, as it currently breaks article layout