Einstain starts with "Direct experience E"

The phase to collect "Direct experience E" corresponds the "information gathering" phase in the learning cycle

Einstain makes "Axiom" from "Direct experience E"

The phase to make "Axiom" corresionds to the "abstraction" phase in the learning cycle

Einstain make "Specific claims" from the axiom. And then verify them through the experience

The making and verifying activities corresponds the "verification" phase in the learning cycle

→TODO: rewrite the section