First version of 'implicit objects' appendix