@contract