Text this: Reason Isomorphically!