12.4.2 beautification