3 : type : Init
Measure number 3 is init.