Text this: Locally compact semi-algebras.