moving to an axiomatized array theory for now; disabling realization; padding works ... but needs an axiom in the array theory