diff --git a/.gitattributes b/.gitattributes
index b9177b16245..51bf55fd691 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -9833,6 +9833,7 @@ src/main/java/net/slightlymagic/braids/util/progress_monitor/BaseProgressMonitor
 src/main/java/net/slightlymagic/braids/util/progress_monitor/BraidsProgressMonitor.java svneol=native#text/plain
 src/main/java/net/slightlymagic/braids/util/progress_monitor/StderrProgressMonitor.java svneol=native#text/plain
 src/main/java/net/slightlymagic/braids/util/progress_monitor/package-info.java svneol=native#text/plain
+src/main/java/net/slightlymagic/maxmtg/Predicate.java -text
 src/main/java/treeProperties/PropertyElement.java svneol=native#text/plain
 src/main/java/treeProperties/PropertyType.java svneol=native#text/plain
 src/main/java/treeProperties/TreeProperties.java svneol=native#text/plain
diff --git a/src/main/java/net/slightlymagic/maxmtg/Predicate.java b/src/main/java/net/slightlymagic/maxmtg/Predicate.java
new file mode 100644
index 00000000000..b3f57dad0f2
--- /dev/null
+++ b/src/main/java/net/slightlymagic/maxmtg/Predicate.java
@@ -0,0 +1,230 @@
+package net.slightlymagic.maxmtg;
+
+import java.util.ArrayList;
+import java.util.List;
+
+import net.slightlymagic.braids.util.lambda.Lambda1;
+/**
+ * Predicate class allows to select items or type <U>, which are or contain an object of type <T>,
+ * matching to some criteria set by predicate. No need to write that simple operations by hand.
+ * 
+ * @author Max
+ *
+ * @param <T> - class to check condition against
+ */
+
+public abstract class Predicate<T> {
+    /**
+     * Possible operators on two predicates
+     * @author Max
+     *
+     */
+    public enum PredicatesOp { AND, OR, XOR, EQ, NOR, NAND }
+
+    /**
+     * Possible operators for comparables.
+     * @author Max
+     *
+     */
+    public enum ComparableOp { EQUALS, NOT_EQUALS, GREATER_THAN, LESS_THAN, GT_OR_EQUAL, LT_OR_EQUAL }
+
+    /**
+     * Possible operators for string operands.
+     * @author Max
+     *
+     */
+    public enum StringOp { CONTAINS, NOT_CONTAINS, EQUALS }
+
+    public abstract boolean isTrue(T subject);
+    // 1. operations on pure T ... check(T card), list.add(card)
+    // 2. operations on something U containing CardOracles ... check(accessor(U)), list.add(U)
+    // 3. gets T from U, saves U transformed into v ... check(accessor(U)), list.add(transformer(U))
+
+    // selects are fun
+    public final List<T> select(final Iterable<T> source) {
+        ArrayList<T> result = new ArrayList<T>();
+        if (source != null) for (T c : source) { if (isTrue(c)) { result.add(c); } }
+        return result;
+    }
+    public final <U> List<U> select(final Iterable<U> source, final Lambda1<T, U> accessor) {
+        ArrayList<U> result = new ArrayList<U>();
+        if (source != null) for (U c : source) { if (isTrue(accessor.apply(c))) { result.add(c); } }
+        return result;
+    }
+    public final <U, V> List<V> select(final Iterable<U> source, final Lambda1<T, U> cardAccessor,
+            final Lambda1<V, U> transformer)
+    {
+        ArrayList<V> result = new ArrayList<V>();
+        if (source != null) for (U c : source) { if (isTrue(cardAccessor.apply(c))) { result.add(transformer.apply(c)); } }
+        return result;
+    }
+
+    // select top 1
+    public final T first(final Iterable<T> source) {
+        if (source != null) for (T c : source) { if (isTrue(c)) { return c; } }
+        return null;
+    }
+    public final <U> U first(final Iterable<U> source, final Lambda1<T, U> accessor) {
+        if (source != null) for (U c : source) { if (isTrue(accessor.apply(c))) { return c; } }
+        return null;
+    }
+    public final <U, V> V first(final Iterable<U> source, final Lambda1<T, U> cardAccessor,
+            final Lambda1<V, U> transformer)
+    {
+        if (source != null) for (U c : source) { if (isTrue(cardAccessor.apply(c))) { return transformer.apply(c); } }
+        return null;
+    }
+
+    // splits are even more fun
+    public final void split(final Iterable<T> source,
+            final List<T> trueList, final List<T> falseList)
+    {
+        if (source != null) for (T c : source) { if (isTrue(c)) { trueList.add(c); } else { falseList.add(c); } }
+    }
+    public final <U> void split(final Iterable<U> source, final Lambda1<T, U> accessor,
+            final List<U> trueList, final List<U> falseList)
+    {
+        if (source != null) for (U c : source) { if (isTrue(accessor.apply(c))) { trueList.add(c); } else { falseList.add(c); } }
+    }
+    public final <U, V> void split(final Iterable<U> source, final Lambda1<T, U> cardAccessor,
+            final Lambda1<V, U> transformer, final List<V> trueList, final List<V> falseList)
+    {
+        if (source != null) for (U c : source) {
+            if (isTrue(cardAccessor.apply(c))) { trueList.add(transformer.apply(c)); }
+            else  { falseList.add(transformer.apply(c)); }
+        }
+    }
+    
+    // Count
+    public final int count(final Iterable<T> source) {
+        int result = 0;
+        if (source != null) for (T c : source) { if (isTrue(c)) { result++; } }
+        return result;
+    }
+    public final <U> int count(final Iterable<U> source, final Lambda1<T, U> accessor) {
+        int result = 0;
+        if (source != null) for (U c : source) { if (isTrue(accessor.apply(c))) { result++; } }
+        return result;
+    }
+    
+    // Aggregates?
+    public final <U> int aggregate(final Iterable<U> source, final Lambda1<T, U> accessor,
+            final Lambda1<Integer, U> valueAccessor)
+    {
+        int result = 0;
+        if (source != null) for (U c : source) { if (isTrue(accessor.apply(c))) { result += valueAccessor.apply(c);  } }
+        return result;
+    }
+    
+    // Random - algorithm adapted from Braid's GeneratorFunctions
+    public final T random(final Iterable<T> source) { // 
+        int n = 0;
+        T candidate = null;
+        for (T item : source) {
+            if (!isTrue(item)) { continue; }
+            if (Math.random() * ++n < 1) { candidate = item; }
+        }
+        return candidate;
+    }
+    public final <U> U random(final Iterable<U> source, final Lambda1<T, U> accessor) { 
+        int n = 0;
+        U candidate = null;
+        for (U item : source) {
+            if (!isTrue(accessor.apply(item))) { continue; }
+            if (Math.random() * ++n < 1) { candidate = item; }
+        }
+        return candidate;
+    }
+    // Static builder methods - they choose concrete implementation by themselves
+    public static <T> Predicate<T> not(final Predicate<T> operand1) { return new Not<T>(operand1); }
+    public static <T> Predicate<T> compose(final Predicate<T> operand1,
+            final PredicatesOp operator, final Predicate<T> operand2)
+    {
+        return new Node<T>(operand1, operator, operand2);
+    }
+    public static <T> Predicate<T> and(final Predicate<T> operand1, final Predicate<T> operand2) {
+        return new NodeAnd<T>(operand1, operand2);
+    }
+    public static <T> Predicate<T> and(final Iterable<Predicate<T>> operand) { return new MultiNodeAnd<T>(operand); }
+    public static <T> Predicate<T> or(final Predicate<T> operand1, final Predicate<T> operand2) {
+        return new NodeOr<T>(operand1, operand2);
+    }
+    public static <T> Predicate<T> or(final Iterable<Predicate<T>> operand) { return new MultiNodeOr<T>(operand); }
+
+    // Concrete implementations
+    // unary operators
+    protected static final class Not<T> extends Predicate<T> {
+        protected final Predicate<T> filter;
+        public Not(final Predicate<T> operand) { filter = operand; }
+        @Override public boolean isTrue(final T card) { return !filter.isTrue(card); }
+    }
+
+    // binary operators
+    protected static class Node<T> extends Predicate<T> {
+        private final PredicatesOp operator;
+        protected final Predicate<T> filter1;
+        protected final Predicate<T> filter2;
+
+        public Node(final Predicate<T> operand1, final PredicatesOp op, final Predicate<T> operand2)
+        {
+            operator = op;
+            filter1 = operand1;
+            filter2 = operand2;
+        }
+
+        @Override public boolean isTrue(final T card) {
+            switch (operator) {
+                case AND: return filter1.isTrue(card) && filter2.isTrue(card);
+                case NAND: return !(filter1.isTrue(card) && filter2.isTrue(card));
+                case OR: return filter1.isTrue(card) || filter2.isTrue(card);
+                case NOR: return !(filter1.isTrue(card) || filter2.isTrue(card));
+                case XOR: return filter1.isTrue(card) ^ filter2.isTrue(card);
+                case EQ: return filter1.isTrue(card) == filter2.isTrue(card);
+                default: return false;
+            }
+        }
+    }
+    protected static final class NodeOr<T> extends Node<T> {
+        public NodeOr(final Predicate<T> operand1, final Predicate<T> operand2) {
+            super(operand1, PredicatesOp.OR, operand2);
+        }
+        @Override public boolean isTrue(final T card) { return filter1.isTrue(card) || filter2.isTrue(card); }
+    }
+    protected static final class NodeAnd<T> extends Node<T> {
+        public NodeAnd(final Predicate<T> operand1, final Predicate<T> operand2) {
+            super(operand1, PredicatesOp.AND, operand2);
+        }
+        @Override public boolean isTrue(final T card) { return filter1.isTrue(card) && filter2.isTrue(card); }
+    }
+
+    // multi-operand operators
+    protected abstract static class MultiNode<T> extends Predicate<T> {
+        protected final Iterable<Predicate<T>> operands;
+        public MultiNode(Iterable<Predicate<T>> filters) { operands = filters; }
+    }
+    protected final static class MultiNodeAnd<T> extends MultiNode<T> {
+        public MultiNodeAnd(final Iterable<Predicate<T>> filters) { super(filters); }
+        @Override public boolean isTrue(final T subject) {
+            for (Predicate<T> p : operands) { if (!p.isTrue(subject)) { return false; } }
+            return true;
+        }
+    }
+    protected final static class MultiNodeOr<T> extends MultiNode<T> {
+        public MultiNodeOr(final Iterable<Predicate<T>> filters) { super(filters); }
+        @Override public boolean isTrue(final T subject) {
+            for (Predicate<T> p : operands) { if (p.isTrue(subject)) { return true; } }
+            return false;
+        }
+    }
+
+    protected static class LeafConstant<T> extends Predicate<T> {
+        private final boolean bValue;
+
+        @Override
+        public boolean isTrue(final T card) { return bValue; }
+        public LeafConstant(final boolean value) { bValue = value; }
+    }
+
+    public static <T> Predicate<T> getTrue(final Class<T> cls) { return new LeafConstant<T>(true); }
+    public static <T> Predicate<T> getFalse(final Class<T> cls) { return new LeafConstant<T>(false); }
+}