Duplicate of Mixed Conditionals for Maximizer