Rough Pseudocode for P5