Cook's_theorem loading ...