beginning of contract with syntax-case