Fix uint and Consequence