"logic" complete