Constraining the derivation of alternatives