What Names Can Nova Be Short For