The logic of identity and copy for computational artefacts