User:Y256/infobox formalization