POSTULATE, in logic, is a proposition that is accepted as true in order to provide a basis for logical reasoning.
TRACE is to follow a transaction through the steps of the system.
BIFURCATED generally means to be divided into or made up of two parts. In accounting an example would be: to split the cash account in the accounting records into two accounts, cash - principal and cash - income.
Enter a term, then click the entry you would like to view.