Error

two or more packages specified (open-axiom stretch)