Text this: On an extension of Girard algebras