PROV Primer Example ttl