Polish

localized
formula is 'creatively' translated to 执行式。if got any better idea, fell free to change