Text this: The Dilworth theorems :