Marr's tri-level hypothesis establishes that computational-level descriptions (what is computed) are...