This is just pseudo code.