Simplified PROCESS-ALLOW-OTHER-KEYS because PROCESS-AUX returns a single value.