Limited_principle_of_omniscience