Aminobutene definitions