Second Strain iteration: Figured out how to generalize by composing predicate with not
First iteration of point-mutations