Text this: Sharp real-part theorems :