Enough and as Good: A Formal Model of Lockean First Appropriation. Issue 3 (6th June 2018)