Pseudo-code for user setup.