Text this: Locally compact semi-algebras :