Explicit computational information can then be written down using bases .
This order of priorities can be more convenient than proving a formula gives rise to a natural mapping .
Explicit computational information can then be written down using bases , and this order of priorities can be more convenient than proving a formula gives rise to a natural mapping .