Global logic 3

Personal LF formulas category for Ma