Researchers are now using symbolic logic as a proteomics tool. Todd Yeates and colleagues at the University of California, Los Angeles, used logic analysis of phylogenetic profiles to identify ...