At Christmas time, we listen to Christmas carols.