Create formalresearch2