Add moved metadata to theory