And Logic Problems