Reformatted example