I thought he made a very interesting point. Your pseudocode looked good until I read that counterargument - now I've got food for thought.