. "First I like the idea of making implicit test cases which are run by the developer explicit by extracting them automatically." . . .