formal 6.13