Circular justification of a complexity class via a thesis that already encodes polynomial-time equiv...