for pseudo code