missing maux and dimension statement