Removed pseudo-code pushed by mistake