[PD] Uploading an abstraction to Deken