Differentiated pseudo code