I have always edited the sudoers file without using visudo command, but this time want to do it right. What is the correct visudo syntax to use with the user name of david?