The great debate between 'function' and 'fun' (or similar abbreviations): http://t.co/EwAPPWBhGb