S: * 23 EXISTS