cruiser: a large fast warship; smaller than a battleship and larger than a destroyer
warship: a government ship that is available for waging war
double stopping: stopping two strings and producing two notes at the same time