to launch [ launched ; launched ]