Text this: The fixed point problem of a simple reversible language.