Formal Learning