Lion and pigeon-reduced