Text this: C*-algebras over arens algebras