redan är såsom enovilkorlig