Discrete Algebra - Search