iwc formula