boolean expression evaluated to determine if a branch of a computer program should continue to be executed