Title: The Ddath machine contract