Results for Turing-complete contracts