6.01 using services