Results for decidable array and arrayarrayarray