getting some nicer looking pseudocode