An array calculus over a murky semantics.