KLK3 and medical procedure: When ARG2 was compared with KLK3 in the Global-Prostate dataset, we observed that the ARG2 high and KLK3 low quadrant was significantly sparse (FDR < 1e-4), thereby satisfying criteria for a Boolean implication relationship.