Using  for the initial state