formal informal machine learning complete