lean ie conditionals