Removed existential bound