Title: The Secret Path to Contract Programming Riches