Pseudocode w4.1