Text this: Observationally-induced algebras in Domain Theory