based on processing . Finally , it shows how processing accounts can be described formally
hide detail