How to Add Alternatives to a Specification