What exactly was a Roman king? Since their kingship wasn't hereditary what exactly defined it in opposition to a dictator-for-life or a tyrant?