specs + slicing of init operation into steps