Valid OR procedure