Text this: On Tucker's key theorem