Added chapter for ideas of complete formula recognition