what the last two conditions aren't verified