zápornými zůstatky je přijatelný pouze v případě, že je jeho čistá hodnota vyšší než 0) 3. tvrzení: Celková hodnota, kterou si burza uvádí, se vztahuje na každého jednotlivého uživatele, takže každý uživatel by měl mít možnost ověřit, zda je jeho čistá hodnota zahrnuta do celkové hodnoty Abychom mohli výše uvedená tvrzení otestovat a ověřit, musíme vytvořit omezení, jako jsou: 1. tvrzení: Omezení celkového zůstatku (Omezení správného celkového zůstatku) uts: míra sledování uživatele (user trace size