Implement describe "contract" feature