Pointer to TLA+.