If computational complexity classes are model-relative rather than model-invariant, the 'proper cont...