I've addition the definitions above.