u => u => d => e => u => a => u => b => c