Oraclein与exists的选择