formula used