GIPA Formal Application