公式是怎样推出的?