Create formula-theory