On a non-vanishing Ext
  The existence of valuation domains admitting non-standard uniserial modules for which certain Exts do not vanish was proved under Jensen's Diamond Principle. In this note, the same is verified using the ZFC axioms alone. 
Laszlo Fuchs and Saharon Shelah