Do you have any readings you recommend to start thinking in terms of non-deterministic algorithms and cheap verifiers?