added fomula documentation