"exit" is more elegant (and accurate) than return!