Interface UserContract.Definition