Generate Proof model and factory
Merge micro-goal model branch