add extends in pseudo-code example
add final to pseudo code