Open Formula and Condensed Formula