Pseudocode 2a