Text this: Axiomatic functionalism