Candidates for copilot-theorem