Added CGIA results.
Adding CGIA with Clafer Moo universe and rewritten formulas.