Initial specification