Removed a constraint due to Hamcha's reasoning.