First condition is redundant,