Choreography: The Basics