The Formal Structure of Patent Law and the Limits of Enablement - Jeffrey Lefstin