veritas 0.0.2 → 0.0.3

data/spec/unit/veritas/relation/operation/reverse/methods/reverse_spec.rb

@@ -1,11 +1,11 @@
 require 'spec_helper'
 
-describe 'Veritas::Relation::Operation::Reverse::Methods#reverse' do
+describe Relation::Operation::Reverse::Methods, '#reverse' do
   subject { object.reverse }
 
-  let(:klass)    { Relation                                               }
-  let(:relation) { klass.new([ [ :id, Integer ] ], [ [ 1 ], [ 2 ] ].each) }
-  let(:object)   { relation.order                                         }
+  let(:described_class) { Relation                                                         }
+  let(:relation)        { described_class.new([ [ :id, Integer ] ], [ [ 1 ], [ 2 ] ].each) }
+  let(:object)          { relation.order                                                   }
 
   it { should be_kind_of(Relation::Operation::Reverse) }
 

data/spec/unit/veritas/relation/operation/set/class_methods/new_spec.rb

@@ -1,7 +1,7 @@
 require 'spec_helper'
 require File.expand_path('../../fixtures/classes', __FILE__)
 
-describe 'Veritas::Relation::Operation::Set::ClassMethods#new' do
+describe Relation::Operation::Set::ClassMethods, '#new' do
   subject { object.new(left, right) }
 
   let(:header) { [ [ :id, Integer ] ]            }

data/spec/unit/veritas/relation/operation/set/header_spec.rb

@@ -1,13 +1,13 @@
 require 'spec_helper'
 require File.expand_path('../fixtures/classes', __FILE__)
 
-describe 'Veritas::Relation::Operation::Set#header' do
+describe Relation::Operation::Set, '#header' do
   subject { object.header }
 
-  let(:klass)  { SetOperationSpecs::Object                     }
-  let(:left)   { Relation.new([ [ :id, Integer ] ], [ [ 1 ] ]) }
-  let(:right)  { Relation.new([ [ :id, Integer ] ], [ [ 1 ] ]) }
-  let(:object) { klass.new(left, right)                        }
+  let(:described_class) { SetOperationSpecs::Object                     }
+  let(:left)            { Relation.new([ [ :id, Integer ] ], [ [ 1 ] ]) }
+  let(:right)           { Relation.new([ [ :id, Integer ] ], [ [ 1 ] ]) }
+  let(:object)          { described_class.new(left, right)              }
 
   it_should_behave_like 'an idempotent method'
 

data/spec/unit/veritas/relation/operation/unary/directions_spec.rb

@@ -1,14 +1,14 @@
 require 'spec_helper'
 require File.expand_path('../fixtures/classes', __FILE__)
 
-describe 'Veritas::Relation::Operation::Unary#directions' do
+describe Relation::Operation::Unary, '#directions' do
   subject { object.directions }
 
-  let(:klass)      { UnaryOperationSpecs::Object                                   }
-  let(:relation)   { Relation.new([ [ :id, Integer ] ], [ [ 1 ] ])                 }
-  let(:directions) { Relation::Operation::Order::DirectionSet.new(relation.header) }
-  let(:order)      { relation.order(directions)                                    }
-  let(:object)     { klass.new(order)                                              }
+  let(:described_class) { UnaryOperationSpecs::Object                                   }
+  let(:relation)        { Relation.new([ [ :id, Integer ] ], [ [ 1 ] ])                 }
+  let(:directions)      { Relation::Operation::Order::DirectionSet.new(relation.header) }
+  let(:order)           { relation.order(directions)                                    }
+  let(:object)          { described_class.new(order)                                    }
 
   it_should_behave_like 'an idempotent method'
 

data/spec/unit/veritas/relation/operation/unary/header_spec.rb

@@ -1,13 +1,13 @@
 require 'spec_helper'
 require File.expand_path('../fixtures/classes', __FILE__)
 
-describe 'Veritas::Relation::Operation::Unary#header' do
+describe Relation::Operation::Unary, '#header' do
   subject { object.header }
 
-  let(:klass)    { UnaryOperationSpecs::Object                }
-  let(:header)   { Relation::Header.new([ [ :id, Integer ] ]) }
-  let(:relation) { Relation.new(header, [ [ 1 ] ])            }
-  let(:object)   { klass.new(relation)                        }
+  let(:described_class) { UnaryOperationSpecs::Object                }
+  let(:header)          { Relation::Header.new([ [ :id, Integer ] ]) }
+  let(:relation)        { Relation.new(header, [ [ 1 ] ])            }
+  let(:object)          { described_class.new(relation)              }
 
   it_should_behave_like 'an idempotent method'
 

data/spec/unit/veritas/tuple/class_methods/coerce_spec.rb

@@ -1,10 +1,10 @@
 require 'spec_helper'
 
-describe 'Veritas::Tuple.coerce' do
+describe Tuple, '.coerce' do
   subject { object.coerce(header, argument) }
 
   let(:header) { Relation::Header.new([ [ :id, Integer ] ]) }
-  let(:object) { Tuple                                      }
+  let(:object) { described_class                            }
   let(:tuple)  { object.new(header, [ 1 ])                  }
 
   context 'when the argument is a Tuple' do

data/spec/unit/veritas/tuple/element_reference_spec.rb

@@ -1,11 +1,10 @@
 require 'spec_helper'
 
-describe 'Veritas::Tuple#[]' do
+describe Tuple, '#[]' do
   subject { object[attribute] }
 
-  let(:klass)  { Tuple                                      }
   let(:header) { Relation::Header.new([ [ :id, Integer ] ]) }
-  let(:object) { klass.new(header, [ 1 ])                   }
+  let(:object) { described_class.new(header, [ 1 ])         }
 
   context 'with a known attribute' do
     let(:attribute) { header[:id] }

data/spec/unit/veritas/tuple/eql_spec.rb

@@ -1,12 +1,11 @@
 require 'spec_helper'
 
-describe 'Veritas::Tuple#eql?' do
+describe Tuple, '#eql?' do
   subject { object.eql?(other) }
 
-  let(:klass)  { Tuple                                      }
   let(:header) { Relation::Header.new([ [ :id, Integer ] ]) }
   let(:data)   { [ 1 ]                                      }
-  let(:object) { klass.new(header, data)                    }
+  let(:object) { described_class.new(header, data)          }
 
   context 'with the same object' do
     let(:other) { object }
@@ -29,7 +28,7 @@ describe 'Veritas::Tuple#eql?' do
   end
 
   context 'with an equivalent object of a subclass' do
-    let(:other) { Class.new(klass).new(header, data) }
+    let(:other) { Class.new(described_class).new(header, data) }
 
     it { should be(false) }
 
@@ -39,9 +38,9 @@ describe 'Veritas::Tuple#eql?' do
   end
 
   context 'with an object having a different header' do
-    let(:other_header) { Relation::Header.new([ [ :id, Numeric ] ]) }
-    let(:other_data)   { data                                       }
-    let(:other)        { klass.new(other_header, other_data)        }
+    let(:other_header) { Relation::Header.new([ [ :id, Numeric ] ])    }
+    let(:other_data)   { data                                          }
+    let(:other)        { described_class.new(other_header, other_data) }
 
     it { should be(false) }
 
@@ -51,9 +50,9 @@ describe 'Veritas::Tuple#eql?' do
   end
 
   context 'with an object having different data' do
-    let(:other_header) { header                              }
-    let(:other_data)   { [ 2 ]                               }
-    let(:other)        { klass.new(other_header, other_data) }
+    let(:other_header) { header                                        }
+    let(:other_data)   { [ 2 ]                                         }
+    let(:other)        { described_class.new(other_header, other_data) }
 
     it { should be(false) }
 

data/spec/unit/veritas/tuple/equal_value_spec.rb

@@ -1,12 +1,11 @@
 require 'spec_helper'
 
-describe 'Veritas::Tuple#==' do
+describe Tuple, '#==' do
   subject { object == other }
 
-  let(:klass)  { Tuple                                      }
   let(:header) { Relation::Header.new([ [ :id, Integer ] ]) }
   let(:data)   { [ 1 ]                                      }
-  let(:object) { klass.new(header, data)                    }
+  let(:object) { described_class.new(header, data)          }
 
   context 'with the same object' do
     let(:other) { object }
@@ -29,7 +28,7 @@ describe 'Veritas::Tuple#==' do
   end
 
   context 'with an equivalent object of a subclass' do
-    let(:other) { Class.new(klass).new(header, data) }
+    let(:other) { Class.new(described_class).new(header, data) }
 
     it { should be(true) }
 
@@ -39,9 +38,9 @@ describe 'Veritas::Tuple#==' do
   end
 
   context 'with an object having a different header' do
-    let(:other_header) { Relation::Header.new([ [ :id, Numeric ] ]) }
-    let(:other_data)   { data                                       }
-    let(:other)        { klass.new(other_header, other_data)        }
+    let(:other_header) { Relation::Header.new([ [ :id, Numeric ] ])    }
+    let(:other_data)   { data                                          }
+    let(:other)        { described_class.new(other_header, other_data) }
 
     it { should be(false) }
 
@@ -51,9 +50,9 @@ describe 'Veritas::Tuple#==' do
   end
 
   context 'with an object having different data' do
-    let(:other_header) { header                              }
-    let(:other_data)   { [ 2 ]                               }
-    let(:other)        { klass.new(other_header, other_data) }
+    let(:other_header) { header                                        }
+    let(:other_data)   { [ 2 ]                                         }
+    let(:other)        { described_class.new(other_header, other_data) }
 
     it { should be(false) }
 

data/spec/unit/veritas/tuple/extend_spec.rb

@@ -1,15 +1,14 @@
 require 'spec_helper'
 
-describe 'Veritas::Tuple#extend' do
+describe Tuple, '#extend' do
   subject { object.extend(new_header, extensions) }
 
-  let(:klass)      { Tuple                                                         }
   let(:header)     { Relation::Header.new([ [ :id, Integer ], [ :name, String ] ]) }
   let(:new_header) { header | [ [ :test, Integer ] ]                               }
   let(:extensions) { [ lambda { |tuple| 1 } ]                                      }
-  let(:object)     { klass.new(header, [ 1, 'Dan Kubb' ])                          }
+  let(:object)     { described_class.new(header, [ 1, 'Dan Kubb' ])                }
 
-  it { should be_kind_of(klass) }
+  it { should be_kind_of(described_class) }
 
   its(:header) { should equal(new_header) }
 

data/spec/unit/veritas/tuple/hash_spec.rb

@@ -1,14 +1,13 @@
 require 'spec_helper'
 
-describe 'Veritas::Tuple#hash' do
+describe Tuple, '#hash' do
   subject { object.hash }
 
-  let(:klass)  { Tuple                                      }
   let(:header) { Relation::Header.new([ [ :id, Integer ] ]) }
   let(:data)   { [ 1 ]                                      }
-  let(:object) { klass.new(header, data)                    }
+  let(:object) { described_class.new(header, data)          }
 
   it_should_behave_like 'a hash method'
 
-  it { should == klass.hash ^ header.hash ^ data.hash }
+  it { should == described_class.hash ^ header.hash ^ data.hash }
 end

data/spec/unit/veritas/tuple/header_spec.rb

@@ -1,11 +1,10 @@
 require 'spec_helper'
 
-describe 'Veritas::Tuple#header' do
+describe Tuple, '#header' do
   subject { object.header }
 
-  let(:klass)  { Tuple                                      }
   let(:header) { Relation::Header.new([ [ :id, Integer ] ]) }
-  let(:object) { klass.new(header, [ 1 ])                   }
+  let(:object) { described_class.new(header, [ 1 ])         }
 
   it_should_behave_like 'an idempotent method'
 

data/spec/unit/veritas/tuple/inspect_spec.rb

@@ -1,11 +1,10 @@
 require 'spec_helper'
 
-describe 'Veritas::Tuple#inspect' do
+describe Tuple, '#inspect' do
   subject { object.inspect }
 
-  let(:klass)  { Tuple                                      }
   let(:header) { Relation::Header.new([ [ :id, Integer ] ]) }
-  let(:object) { klass.new(header, [ 1 ])                   }
+  let(:object) { described_class.new(header, [ 1 ])         }
 
   it { should be_kind_of(String) }
 

data/spec/unit/veritas/tuple/join_spec.rb

@@ -1,15 +1,14 @@
 require 'spec_helper'
 
-describe 'Veritas::Tuple#join' do
+describe Tuple, '#join' do
   subject { object.join(new_header, values) }
 
-  let(:klass)      { Tuple                                      }
   let(:header)     { Relation::Header.new([ [ :id, Integer ] ]) }
   let(:new_header) { header | [ [ :name, String ] ]             }
   let(:values)     { [ 'Dan Kubb' ]                             }
-  let(:object)     { klass.new(header, [ 1 ])                   }
+  let(:object)     { described_class.new(header, [ 1 ])         }
 
-  it { should be_kind_of(klass) }
+  it { should be_kind_of(described_class) }
 
   its(:header) { should equal(new_header) }
 

data/spec/unit/veritas/tuple/project_spec.rb

@@ -1,14 +1,13 @@
 require 'spec_helper'
 
-describe 'Veritas::Tuple#project' do
+describe Tuple, '#project' do
   subject { object.project(reversed_header) }
 
-  let(:klass)           { Tuple                                                         }
   let(:header)          { Relation::Header.new([ [ :name, String ], [ :id, Integer ] ]) }
   let(:reversed_header) { Relation::Header.new(header.to_a.reverse)                     }
-  let(:object)          { klass.new(header, [ 'Dan Kubb', 1 ])                          }
+  let(:object)          { described_class.new(header, [ 'Dan Kubb', 1 ])                }
 
-  it { should be_kind_of(klass) }
+  it { should be_kind_of(described_class) }
 
   its(:header) { should equal(reversed_header) }
 

data/spec/unit/veritas/tuple/to_ary_spec.rb

@@ -1,11 +1,10 @@
 require 'spec_helper'
 
-describe 'Veritas::Tuple#to_ary' do
+describe Tuple, '#to_ary' do
   subject { object.to_ary }
 
-  let(:klass)  { Tuple                                      }
   let(:header) { Relation::Header.new([ [ :id, Integer ] ]) }
-  let(:object) { klass.new(header, [ 1 ])                   }
+  let(:object) { described_class.new(header, [ 1 ])         }
 
   it { should be_kind_of(Array) }
 

data/spec/unit/veritas/visitable/accept_spec.rb

@@ -1,11 +1,11 @@
 require 'spec_helper'
 
-describe 'Veritas::Visitable#accept' do
+describe Visitable, '#accept' do
   subject { object.accept(visitor) }
 
-  let(:klass)   { Class.new { include Visitable } }
-  let(:visitor) { mock('Visitor', :visit => nil)  }
-  let(:object)  { klass.new                       }
+  let(:described_class) { Class.new { include Visitable } }
+  let(:visitor)         { mock('Visitor', :visit => nil)  }
+  let(:object)          { described_class.new             }
 
   it_should_behave_like 'a command method'
 

data/veritas.gemspec

@@ -5,11 +5,11 @@
 
 Gem::Specification.new do |s|
   s.name = %q{veritas}
-  s.version = "0.0.2"
+  s.version = "0.0.3"
 
   s.required_rubygems_version = Gem::Requirement.new(">= 0") if s.respond_to? :required_rubygems_version=
   s.authors = ["Dan Kubb"]
-  s.date = %q{2011-03-31}
+  s.date = %q{2011-04-22}
   s.description = %q{Simplifies querying of structured data using relational algebra}
   s.email = %q{dan.kubb@gmail.com}
   s.extra_rdoc_files = [
@@ -18,7 +18,6 @@ Gem::Specification.new do |s|
     "TODO"
   ]
   s.files = [
-    ".autotest",
     ".document",
     "Gemfile",
     "LICENSE",
@@ -33,7 +32,6 @@ Gem::Specification.new do |s|
     "config/site.reek",
     "config/yardstick.yml",
     "lib/veritas.rb",
-    "lib/veritas/algebra.rb",
     "lib/veritas/algebra/difference.rb",
     "lib/veritas/algebra/extension.rb",
     "lib/veritas/algebra/intersection.rb",
@@ -62,7 +60,6 @@ Gem::Specification.new do |s|
     "lib/veritas/core_ext/date.rb",
     "lib/veritas/core_ext/range.rb",
     "lib/veritas/core_ext/time.rb",
-    "lib/veritas/logic.rb",
     "lib/veritas/logic/connective.rb",
     "lib/veritas/logic/connective/binary.rb",
     "lib/veritas/logic/connective/conjunction.rb",
@@ -84,54 +81,12 @@ Gem::Specification.new do |s|
     "lib/veritas/logic/predicate/match.rb",
     "lib/veritas/logic/predicate/no_match.rb",
     "lib/veritas/logic/proposition.rb",
-    "lib/veritas/logic/proposition/false.rb",
-    "lib/veritas/logic/proposition/true.rb",
-    "lib/veritas/optimizer.rb",
-    "lib/veritas/optimizer/algebra.rb",
-    "lib/veritas/optimizer/algebra/difference.rb",
-    "lib/veritas/optimizer/algebra/extension.rb",
-    "lib/veritas/optimizer/algebra/intersection.rb",
-    "lib/veritas/optimizer/algebra/join.rb",
-    "lib/veritas/optimizer/algebra/product.rb",
-    "lib/veritas/optimizer/algebra/projection.rb",
-    "lib/veritas/optimizer/algebra/rename.rb",
-    "lib/veritas/optimizer/algebra/restriction.rb",
-    "lib/veritas/optimizer/algebra/summarization.rb",
-    "lib/veritas/optimizer/algebra/union.rb",
-    "lib/veritas/optimizer/logic.rb",
-    "lib/veritas/optimizer/logic/connective.rb",
-    "lib/veritas/optimizer/logic/connective/binary.rb",
-    "lib/veritas/optimizer/logic/connective/conjunction.rb",
-    "lib/veritas/optimizer/logic/connective/disjunction.rb",
-    "lib/veritas/optimizer/logic/connective/negation.rb",
-    "lib/veritas/optimizer/logic/predicate.rb",
-    "lib/veritas/optimizer/logic/predicate/comparable.rb",
-    "lib/veritas/optimizer/logic/predicate/enumerable.rb",
-    "lib/veritas/optimizer/logic/predicate/equality.rb",
-    "lib/veritas/optimizer/logic/predicate/exclusion.rb",
-    "lib/veritas/optimizer/logic/predicate/greater_than.rb",
-    "lib/veritas/optimizer/logic/predicate/greater_than_or_equal_to.rb",
-    "lib/veritas/optimizer/logic/predicate/inclusion.rb",
-    "lib/veritas/optimizer/logic/predicate/inequality.rb",
-    "lib/veritas/optimizer/logic/predicate/less_than.rb",
-    "lib/veritas/optimizer/logic/predicate/less_than_or_equal_to.rb",
-    "lib/veritas/optimizer/logic/predicate/match.rb",
-    "lib/veritas/optimizer/logic/predicate/no_match.rb",
-    "lib/veritas/optimizer/relation.rb",
-    "lib/veritas/optimizer/relation/materialized.rb",
-    "lib/veritas/optimizer/relation/operation.rb",
-    "lib/veritas/optimizer/relation/operation/binary.rb",
-    "lib/veritas/optimizer/relation/operation/combination.rb",
-    "lib/veritas/optimizer/relation/operation/limit.rb",
-    "lib/veritas/optimizer/relation/operation/offset.rb",
-    "lib/veritas/optimizer/relation/operation/order.rb",
-    "lib/veritas/optimizer/relation/operation/reverse.rb",
-    "lib/veritas/optimizer/relation/operation/unary.rb",
+    "lib/veritas/logic/proposition/contradiction.rb",
+    "lib/veritas/logic/proposition/tautology.rb",
     "lib/veritas/relation.rb",
     "lib/veritas/relation/empty.rb",
     "lib/veritas/relation/header.rb",
     "lib/veritas/relation/materialized.rb",
-    "lib/veritas/relation/operation.rb",
     "lib/veritas/relation/operation/binary.rb",
     "lib/veritas/relation/operation/combination.rb",
     "lib/veritas/relation/operation/limit.rb",
@@ -148,51 +103,21 @@ Gem::Specification.new do |s|
     "lib/veritas/support/immutable.rb",
     "lib/veritas/support/operation/binary.rb",
     "lib/veritas/support/operation/unary.rb",
-    "lib/veritas/support/optimizable.rb",
     "lib/veritas/support/visitable.rb",
     "lib/veritas/tuple.rb",
     "lib/veritas/version.rb",
-    "spec/integration/veritas/algebra/difference/optimize_spec.rb",
-    "spec/integration/veritas/algebra/intersection/optimize_spec.rb",
-    "spec/integration/veritas/algebra/join/optimize_spec.rb",
     "spec/integration/veritas/algebra/join_spec.rb",
-    "spec/integration/veritas/algebra/product/optimize_spec.rb",
     "spec/integration/veritas/algebra/product_spec.rb",
-    "spec/integration/veritas/algebra/projection/optimize_spec.rb",
     "spec/integration/veritas/algebra/projection_spec.rb",
-    "spec/integration/veritas/algebra/rename/optimize_spec.rb",
-    "spec/integration/veritas/algebra/restriction/optimize_spec.rb",
     "spec/integration/veritas/algebra/summarization_spec.rb",
-    "spec/integration/veritas/algebra/union/optimize_spec.rb",
-    "spec/integration/veritas/logic/connective/conjunction/optimize_spec.rb",
-    "spec/integration/veritas/logic/connective/disjunction/optimize_spec.rb",
-    "spec/integration/veritas/logic/connective/negation/optimize_spec.rb",
-    "spec/integration/veritas/logic/expression/optimize_spec.rb",
-    "spec/integration/veritas/logic/predicate/equality/optimize_spec.rb",
-    "spec/integration/veritas/logic/predicate/exclusion/optimize_spec.rb",
-    "spec/integration/veritas/logic/predicate/greater_than/optimize_spec.rb",
-    "spec/integration/veritas/logic/predicate/greater_than_or_equal_to/optimize_spec.rb",
-    "spec/integration/veritas/logic/predicate/inclusion/optimize_spec.rb",
-    "spec/integration/veritas/logic/predicate/inequality/optimize_spec.rb",
-    "spec/integration/veritas/logic/predicate/less_than/optimize_spec.rb",
-    "spec/integration/veritas/logic/predicate/less_than_or_equal_to/optimize_spec.rb",
     "spec/integration/veritas/relation/efficient_enumerable_spec.rb",
-    "spec/integration/veritas/relation/empty/optimize_spec.rb",
-    "spec/integration/veritas/relation/materialized/optimize_spec.rb",
-    "spec/integration/veritas/relation/operation/limit/optimize_spec.rb",
-    "spec/integration/veritas/relation/operation/offset/optimize_spec.rb",
-    "spec/integration/veritas/relation/operation/order/optimize_spec.rb",
-    "spec/integration/veritas/relation/operation/reverse/optimize_spec.rb",
-    "spec/integration/veritas/relation/optimize_spec.rb",
     "spec/rcov.opts",
     "spec/shared/command_method_behavior.rb",
+    "spec/shared/each_method_behaviour.rb",
     "spec/shared/hash_method_behavior.rb",
     "spec/shared/idempotent_method_behavior.rb",
-    "spec/shared/logic_connective_binary_optimize_behavior.rb",
-    "spec/shared/optimize_method_behavior.rb",
     "spec/spec.opts",
     "spec/spec_helper.rb",
-    "spec/support/add_method_missing.rb",
     "spec/unit/date/pred_spec.rb",
     "spec/unit/range/overlaps_spec.rb",
     "spec/unit/range/to_inclusive_spec.rb",
@@ -224,6 +149,7 @@ Gem::Specification.new do |s|
     "spec/unit/veritas/algebra/projection/methods/project_spec.rb",
     "spec/unit/veritas/algebra/projection/methods/remove_spec.rb",
     "spec/unit/veritas/algebra/rename/aliases/class_methods/coerce_spec.rb",
+    "spec/unit/veritas/algebra/rename/aliases/class_methods/new_spec.rb",
     "spec/unit/veritas/algebra/rename/aliases/each_spec.rb",
     "spec/unit/veritas/algebra/rename/aliases/element_reference_spec.rb",
     "spec/unit/veritas/algebra/rename/aliases/empty_spec.rb",
@@ -303,15 +229,15 @@ Gem::Specification.new do |s|
     "spec/unit/veritas/immutable/class_methods/new_spec.rb",
     "spec/unit/veritas/immutable/dup_spec.rb",
     "spec/unit/veritas/immutable/fixtures/classes.rb",
-    "spec/unit/veritas/immutable/memoize_methods/freeze_spec.rb",
-    "spec/unit/veritas/immutable/memoize_methods/memoize_spec.rb",
-    "spec/unit/veritas/immutable/memoize_methods/memoized_spec.rb",
+    "spec/unit/veritas/immutable/freeze_spec.rb",
     "spec/unit/veritas/immutable/memoize_spec.rb",
+    "spec/unit/veritas/immutable/memoized_spec.rb",
     "spec/unit/veritas/immutable/memory/element_reference_spec.rb",
     "spec/unit/veritas/immutable/memory/element_set_spec.rb",
     "spec/unit/veritas/immutable/module_methods/included_spec.rb",
     "spec/unit/veritas/immutable/module_methods/memoize_spec.rb",
     "spec/unit/veritas/logic/connective/binary/call_spec.rb",
+    "spec/unit/veritas/logic/connective/binary/equal_value_spec.rb",
     "spec/unit/veritas/logic/connective/binary/fixtures/classes.rb",
     "spec/unit/veritas/logic/connective/binary/rename_spec.rb",
     "spec/unit/veritas/logic/connective/conjunction/class_methods/call_spec.rb",
@@ -330,6 +256,7 @@ Gem::Specification.new do |s|
     "spec/unit/veritas/logic/connective/negation/methods/fixtures/classes.rb",
     "spec/unit/veritas/logic/connective/negation/methods/not_spec.rb",
     "spec/unit/veritas/logic/connective/unary/call_spec.rb",
+    "spec/unit/veritas/logic/connective/unary/equal_value_spec.rb",
     "spec/unit/veritas/logic/connective/unary/fixtures/classes.rb",
     "spec/unit/veritas/logic/connective/unary/rename_spec.rb",
     "spec/unit/veritas/logic/expression/class_methods/call_spec.rb",
@@ -348,6 +275,7 @@ Gem::Specification.new do |s|
     "spec/unit/veritas/logic/predicate/comparable/inspect_spec.rb",
     "spec/unit/veritas/logic/predicate/enumerable/class_methods/compare_method_spec.rb",
     "spec/unit/veritas/logic/predicate/eql_spec.rb",
+    "spec/unit/veritas/logic/predicate/equal_value_spec.rb",
     "spec/unit/veritas/logic/predicate/equality/class_methods/call_spec.rb",
     "spec/unit/veritas/logic/predicate/equality/class_methods/inverse_spec.rb",
     "spec/unit/veritas/logic/predicate/equality/class_methods/operation_spec.rb",
@@ -430,22 +358,23 @@ Gem::Specification.new do |s|
     "spec/unit/veritas/logic/proposition/call_spec.rb",
     "spec/unit/veritas/logic/proposition/class_methods/call_spec.rb",
     "spec/unit/veritas/logic/proposition/class_methods/new_spec.rb",
+    "spec/unit/veritas/logic/proposition/contradiction/and_spec.rb",
+    "spec/unit/veritas/logic/proposition/contradiction/class_methods/call_spec.rb",
+    "spec/unit/veritas/logic/proposition/contradiction/class_methods/inverse_spec.rb",
+    "spec/unit/veritas/logic/proposition/contradiction/inspect_spec.rb",
+    "spec/unit/veritas/logic/proposition/contradiction/inverse_spec.rb",
+    "spec/unit/veritas/logic/proposition/contradiction/or_spec.rb",
     "spec/unit/veritas/logic/proposition/eql_spec.rb",
-    "spec/unit/veritas/logic/proposition/false/and_spec.rb",
-    "spec/unit/veritas/logic/proposition/false/class_methods/call_spec.rb",
-    "spec/unit/veritas/logic/proposition/false/class_methods/inverse_spec.rb",
-    "spec/unit/veritas/logic/proposition/false/inspect_spec.rb",
-    "spec/unit/veritas/logic/proposition/false/inverse_spec.rb",
-    "spec/unit/veritas/logic/proposition/false/or_spec.rb",
+    "spec/unit/veritas/logic/proposition/equal_value_spec.rb",
     "spec/unit/veritas/logic/proposition/hash_spec.rb",
     "spec/unit/veritas/logic/proposition/inspect_spec.rb",
     "spec/unit/veritas/logic/proposition/inverse_spec.rb",
-    "spec/unit/veritas/logic/proposition/true/and_spec.rb",
-    "spec/unit/veritas/logic/proposition/true/class_methods/call_spec.rb",
-    "spec/unit/veritas/logic/proposition/true/class_methods/inverse_spec.rb",
-    "spec/unit/veritas/logic/proposition/true/inspect_spec.rb",
-    "spec/unit/veritas/logic/proposition/true/inverse_spec.rb",
-    "spec/unit/veritas/logic/proposition/true/or_spec.rb",
+    "spec/unit/veritas/logic/proposition/tautology/and_spec.rb",
+    "spec/unit/veritas/logic/proposition/tautology/class_methods/call_spec.rb",
+    "spec/unit/veritas/logic/proposition/tautology/class_methods/inverse_spec.rb",
+    "spec/unit/veritas/logic/proposition/tautology/inspect_spec.rb",
+    "spec/unit/veritas/logic/proposition/tautology/inverse_spec.rb",
+    "spec/unit/veritas/logic/proposition/tautology/or_spec.rb",
     "spec/unit/veritas/operation/binary/eql_spec.rb",
     "spec/unit/veritas/operation/binary/hash_spec.rb",
     "spec/unit/veritas/operation/binary/left_spec.rb",
@@ -453,190 +382,6 @@ Gem::Specification.new do |s|
     "spec/unit/veritas/operation/unary/eql_spec.rb",
     "spec/unit/veritas/operation/unary/hash_spec.rb",
     "spec/unit/veritas/operation/unary/operand_spec.rb",
-    "spec/unit/veritas/optimizable/class_methods/optimizer_spec.rb",
-    "spec/unit/veritas/optimizable/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/difference/empty_left/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/difference/empty_right/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/difference/equal_operands/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/extension/unoptimized_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/extension/unoptimized_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/intersection/empty_left/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/intersection/empty_right/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/intersection/equal_operands/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/join/equal_headers/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/join/equal_headers/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/product/table_dee_left/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/product/table_dee_left/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/product/table_dee_right/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/product/table_dee_right/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/projection/empty_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/projection/empty_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/projection/header_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/projection/projection_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/projection/projection_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/projection/set_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/projection/set_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/projection/unchanged_header/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/projection/unchanged_header/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/projection/unoptimized_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/projection/unoptimized_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/aliases_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/class_methods/union_aliases_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/empty_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/empty_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/header_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/limit_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/limit_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/offset_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/offset_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/order_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/order_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/projection_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/projection_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/rename_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/rename_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/rename_operand_and_empty_aliases/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/rename_operand_and_empty_aliases/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/restriction_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/restriction_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/reverse_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/reverse_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/set_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/set_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/unchanged_header/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/unchanged_header/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/unoptimized_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/unoptimized_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/class_methods/optimize_predicate_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/false_predicate/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/false_predicate/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/order_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/order_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/predicate_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/restriction_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/restriction_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/reverse_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/reverse_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/set_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/set_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/true_predicate/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/true_predicate/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/unoptimized_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/unoptimized_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/summarization/unoptimized_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/summarization/unoptimized_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/union/empty_left/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/union/empty_right/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/union/equal_operands/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/class_methods/chain_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/binary/equal_operands/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/binary/equal_operands/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/binary/left_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/binary/redundant_left_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/binary/redundant_left_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/binary/redundant_right_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/binary/redundant_right_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/binary/right_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/binary/unoptimized_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/binary/unoptimized_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/conjunction/always_false/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/conjunction/always_false/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/conjunction/optimizable_to_exclusion/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/conjunction/optimizable_to_exclusion/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/conjunction/true_left_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/conjunction/true_left_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/conjunction/true_right_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/conjunction/true_right_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/disjunction/always_true/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/disjunction/always_true/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/disjunction/false_left_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/disjunction/false_left_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/disjunction/false_right_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/disjunction/false_right_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/disjunction/optimizable_to_inclusion/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/disjunction/optimizable_to_inclusion/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/negation/invertible_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/negation/invertible_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/negation/operand_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/always_false/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/always_true/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/class_methods/optimize_operand_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/comparable/never_comparable/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/comparable/never_equivalent/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/comparable/normalizable_operands/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/comparable/normalizable_operands/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/constant_operands/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/constant_operands/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/enumerable/empty_right_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/enumerable/one_right_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/enumerable/unoptimized_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/enumerable/unoptimized_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/equality/always_true/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/exclusion/empty_right_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/exclusion/one_right_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/greater_than/always_false/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/greater_than/always_true/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/greater_than_or_equal_to/always_false/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/greater_than_or_equal_to/always_true/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/inclusion/empty_right_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/inclusion/one_right_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/inequality/always_false/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/left_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/less_than/always_false/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/less_than/always_true/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/less_than_or_equal_to/always_false/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/less_than_or_equal_to/always_true/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/right_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/util/class_methods/attribute_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/util/class_methods/constant_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/util/class_methods/max_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/util/class_methods/min_spec.rb",
-    "spec/unit/veritas/optimizer/operation_spec.rb",
-    "spec/unit/veritas/optimizer/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/materialized/empty_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/materialized/empty_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/binary/empty_left/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/binary/empty_right/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/binary/equal_operands/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/binary/left_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/binary/materialized_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/binary/materialized_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/binary/right_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/binary/unoptimized_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/binary/unoptimized_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/combination/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/limit/equal_limit_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/limit/equal_limit_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/limit/limit_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/limit/limit_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/limit/unoptimized_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/limit/unoptimized_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/limit/zero_limit/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/limit/zero_limit/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/offset/offset_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/offset/offset_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/offset/unoptimized_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/offset/unoptimized_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/offset/zero_offset/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/offset/zero_offset/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/order/one_limit_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/order/one_limit_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/order/order_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/order/order_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/order/unoptimized_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/order/unoptimized_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/reverse/order_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/reverse/order_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/reverse/reverse_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/reverse/reverse_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/reverse/unoptimized_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/reverse/unoptimized_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/unary/empty_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/unary/empty_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/unary/materialized_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/unary/materialized_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/unary/operand_spec.rb",
     "spec/unit/veritas/relation/class_methods/new_spec.rb",
     "spec/unit/veritas/relation/directions_spec.rb",
     "spec/unit/veritas/relation/each_spec.rb",
@@ -649,6 +394,7 @@ Gem::Specification.new do |s|
     "spec/unit/veritas/relation/equal_value_spec.rb",
     "spec/unit/veritas/relation/hash_spec.rb",
     "spec/unit/veritas/relation/header/class_methods/coerce_spec.rb",
+    "spec/unit/veritas/relation/header/class_methods/new_spec.rb",
     "spec/unit/veritas/relation/header/difference_spec.rb",
     "spec/unit/veritas/relation/header/each_spec.rb",
     "spec/unit/veritas/relation/header/element_reference_spec.rb",
@@ -744,8 +490,7 @@ Gem::Specification.new do |s|
     "spec/unit/veritas/tuple/project_spec.rb",
     "spec/unit/veritas/tuple/to_ary_spec.rb",
     "spec/unit/veritas/visitable/accept_spec.rb",
-    "tasks/ci.rake",
-    "tasks/clean.rake",
+    "tasks/quality/ci.rake",
     "tasks/quality/flay.rake",
     "tasks/quality/flog.rake",
     "tasks/quality/heckle.rake",
@@ -759,48 +504,19 @@ Gem::Specification.new do |s|
   ]
   s.homepage = %q{https://github.com/dkubb/veritas}
   s.require_paths = ["lib"]
-  s.rubygems_version = %q{1.6.2}
+  s.rubygems_version = %q{1.7.2}
   s.summary = %q{Ruby Relational Algebra}
   s.test_files = [
-    "spec/integration/veritas/algebra/difference/optimize_spec.rb",
-    "spec/integration/veritas/algebra/intersection/optimize_spec.rb",
-    "spec/integration/veritas/algebra/join/optimize_spec.rb",
     "spec/integration/veritas/algebra/join_spec.rb",
-    "spec/integration/veritas/algebra/product/optimize_spec.rb",
     "spec/integration/veritas/algebra/product_spec.rb",
-    "spec/integration/veritas/algebra/projection/optimize_spec.rb",
     "spec/integration/veritas/algebra/projection_spec.rb",
-    "spec/integration/veritas/algebra/rename/optimize_spec.rb",
-    "spec/integration/veritas/algebra/restriction/optimize_spec.rb",
     "spec/integration/veritas/algebra/summarization_spec.rb",
-    "spec/integration/veritas/algebra/union/optimize_spec.rb",
-    "spec/integration/veritas/logic/connective/conjunction/optimize_spec.rb",
-    "spec/integration/veritas/logic/connective/disjunction/optimize_spec.rb",
-    "spec/integration/veritas/logic/connective/negation/optimize_spec.rb",
-    "spec/integration/veritas/logic/expression/optimize_spec.rb",
-    "spec/integration/veritas/logic/predicate/equality/optimize_spec.rb",
-    "spec/integration/veritas/logic/predicate/exclusion/optimize_spec.rb",
-    "spec/integration/veritas/logic/predicate/greater_than/optimize_spec.rb",
-    "spec/integration/veritas/logic/predicate/greater_than_or_equal_to/optimize_spec.rb",
-    "spec/integration/veritas/logic/predicate/inclusion/optimize_spec.rb",
-    "spec/integration/veritas/logic/predicate/inequality/optimize_spec.rb",
-    "spec/integration/veritas/logic/predicate/less_than/optimize_spec.rb",
-    "spec/integration/veritas/logic/predicate/less_than_or_equal_to/optimize_spec.rb",
     "spec/integration/veritas/relation/efficient_enumerable_spec.rb",
-    "spec/integration/veritas/relation/empty/optimize_spec.rb",
-    "spec/integration/veritas/relation/materialized/optimize_spec.rb",
-    "spec/integration/veritas/relation/operation/limit/optimize_spec.rb",
-    "spec/integration/veritas/relation/operation/offset/optimize_spec.rb",
-    "spec/integration/veritas/relation/operation/order/optimize_spec.rb",
-    "spec/integration/veritas/relation/operation/reverse/optimize_spec.rb",
-    "spec/integration/veritas/relation/optimize_spec.rb",
     "spec/shared/command_method_behavior.rb",
+    "spec/shared/each_method_behaviour.rb",
     "spec/shared/hash_method_behavior.rb",
     "spec/shared/idempotent_method_behavior.rb",
-    "spec/shared/logic_connective_binary_optimize_behavior.rb",
-    "spec/shared/optimize_method_behavior.rb",
     "spec/spec_helper.rb",
-    "spec/support/add_method_missing.rb",
     "spec/unit/date/pred_spec.rb",
     "spec/unit/range/overlaps_spec.rb",
     "spec/unit/range/to_inclusive_spec.rb",
@@ -832,6 +548,7 @@ Gem::Specification.new do |s|
     "spec/unit/veritas/algebra/projection/methods/project_spec.rb",
     "spec/unit/veritas/algebra/projection/methods/remove_spec.rb",
     "spec/unit/veritas/algebra/rename/aliases/class_methods/coerce_spec.rb",
+    "spec/unit/veritas/algebra/rename/aliases/class_methods/new_spec.rb",
     "spec/unit/veritas/algebra/rename/aliases/each_spec.rb",
     "spec/unit/veritas/algebra/rename/aliases/element_reference_spec.rb",
     "spec/unit/veritas/algebra/rename/aliases/empty_spec.rb",
@@ -911,15 +628,15 @@ Gem::Specification.new do |s|
     "spec/unit/veritas/immutable/class_methods/new_spec.rb",
     "spec/unit/veritas/immutable/dup_spec.rb",
     "spec/unit/veritas/immutable/fixtures/classes.rb",
-    "spec/unit/veritas/immutable/memoize_methods/freeze_spec.rb",
-    "spec/unit/veritas/immutable/memoize_methods/memoize_spec.rb",
-    "spec/unit/veritas/immutable/memoize_methods/memoized_spec.rb",
+    "spec/unit/veritas/immutable/freeze_spec.rb",
     "spec/unit/veritas/immutable/memoize_spec.rb",
+    "spec/unit/veritas/immutable/memoized_spec.rb",
     "spec/unit/veritas/immutable/memory/element_reference_spec.rb",
     "spec/unit/veritas/immutable/memory/element_set_spec.rb",
     "spec/unit/veritas/immutable/module_methods/included_spec.rb",
     "spec/unit/veritas/immutable/module_methods/memoize_spec.rb",
     "spec/unit/veritas/logic/connective/binary/call_spec.rb",
+    "spec/unit/veritas/logic/connective/binary/equal_value_spec.rb",
     "spec/unit/veritas/logic/connective/binary/fixtures/classes.rb",
     "spec/unit/veritas/logic/connective/binary/rename_spec.rb",
     "spec/unit/veritas/logic/connective/conjunction/class_methods/call_spec.rb",
@@ -938,6 +655,7 @@ Gem::Specification.new do |s|
     "spec/unit/veritas/logic/connective/negation/methods/fixtures/classes.rb",
     "spec/unit/veritas/logic/connective/negation/methods/not_spec.rb",
     "spec/unit/veritas/logic/connective/unary/call_spec.rb",
+    "spec/unit/veritas/logic/connective/unary/equal_value_spec.rb",
     "spec/unit/veritas/logic/connective/unary/fixtures/classes.rb",
     "spec/unit/veritas/logic/connective/unary/rename_spec.rb",
     "spec/unit/veritas/logic/expression/class_methods/call_spec.rb",
@@ -956,6 +674,7 @@ Gem::Specification.new do |s|
     "spec/unit/veritas/logic/predicate/comparable/inspect_spec.rb",
     "spec/unit/veritas/logic/predicate/enumerable/class_methods/compare_method_spec.rb",
     "spec/unit/veritas/logic/predicate/eql_spec.rb",
+    "spec/unit/veritas/logic/predicate/equal_value_spec.rb",
     "spec/unit/veritas/logic/predicate/equality/class_methods/call_spec.rb",
     "spec/unit/veritas/logic/predicate/equality/class_methods/inverse_spec.rb",
     "spec/unit/veritas/logic/predicate/equality/class_methods/operation_spec.rb",
@@ -1038,22 +757,23 @@ Gem::Specification.new do |s|
     "spec/unit/veritas/logic/proposition/call_spec.rb",
     "spec/unit/veritas/logic/proposition/class_methods/call_spec.rb",
     "spec/unit/veritas/logic/proposition/class_methods/new_spec.rb",
+    "spec/unit/veritas/logic/proposition/contradiction/and_spec.rb",
+    "spec/unit/veritas/logic/proposition/contradiction/class_methods/call_spec.rb",
+    "spec/unit/veritas/logic/proposition/contradiction/class_methods/inverse_spec.rb",
+    "spec/unit/veritas/logic/proposition/contradiction/inspect_spec.rb",
+    "spec/unit/veritas/logic/proposition/contradiction/inverse_spec.rb",
+    "spec/unit/veritas/logic/proposition/contradiction/or_spec.rb",
     "spec/unit/veritas/logic/proposition/eql_spec.rb",
-    "spec/unit/veritas/logic/proposition/false/and_spec.rb",
-    "spec/unit/veritas/logic/proposition/false/class_methods/call_spec.rb",
-    "spec/unit/veritas/logic/proposition/false/class_methods/inverse_spec.rb",
-    "spec/unit/veritas/logic/proposition/false/inspect_spec.rb",
-    "spec/unit/veritas/logic/proposition/false/inverse_spec.rb",
-    "spec/unit/veritas/logic/proposition/false/or_spec.rb",
+    "spec/unit/veritas/logic/proposition/equal_value_spec.rb",
     "spec/unit/veritas/logic/proposition/hash_spec.rb",
     "spec/unit/veritas/logic/proposition/inspect_spec.rb",
     "spec/unit/veritas/logic/proposition/inverse_spec.rb",
-    "spec/unit/veritas/logic/proposition/true/and_spec.rb",
-    "spec/unit/veritas/logic/proposition/true/class_methods/call_spec.rb",
-    "spec/unit/veritas/logic/proposition/true/class_methods/inverse_spec.rb",
-    "spec/unit/veritas/logic/proposition/true/inspect_spec.rb",
-    "spec/unit/veritas/logic/proposition/true/inverse_spec.rb",
-    "spec/unit/veritas/logic/proposition/true/or_spec.rb",
+    "spec/unit/veritas/logic/proposition/tautology/and_spec.rb",
+    "spec/unit/veritas/logic/proposition/tautology/class_methods/call_spec.rb",
+    "spec/unit/veritas/logic/proposition/tautology/class_methods/inverse_spec.rb",
+    "spec/unit/veritas/logic/proposition/tautology/inspect_spec.rb",
+    "spec/unit/veritas/logic/proposition/tautology/inverse_spec.rb",
+    "spec/unit/veritas/logic/proposition/tautology/or_spec.rb",
     "spec/unit/veritas/operation/binary/eql_spec.rb",
     "spec/unit/veritas/operation/binary/hash_spec.rb",
     "spec/unit/veritas/operation/binary/left_spec.rb",
@@ -1061,190 +781,6 @@ Gem::Specification.new do |s|
     "spec/unit/veritas/operation/unary/eql_spec.rb",
     "spec/unit/veritas/operation/unary/hash_spec.rb",
     "spec/unit/veritas/operation/unary/operand_spec.rb",
-    "spec/unit/veritas/optimizable/class_methods/optimizer_spec.rb",
-    "spec/unit/veritas/optimizable/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/difference/empty_left/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/difference/empty_right/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/difference/equal_operands/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/extension/unoptimized_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/extension/unoptimized_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/intersection/empty_left/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/intersection/empty_right/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/intersection/equal_operands/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/join/equal_headers/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/join/equal_headers/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/product/table_dee_left/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/product/table_dee_left/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/product/table_dee_right/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/product/table_dee_right/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/projection/empty_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/projection/empty_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/projection/header_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/projection/projection_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/projection/projection_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/projection/set_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/projection/set_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/projection/unchanged_header/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/projection/unchanged_header/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/projection/unoptimized_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/projection/unoptimized_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/aliases_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/class_methods/union_aliases_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/empty_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/empty_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/header_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/limit_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/limit_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/offset_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/offset_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/order_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/order_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/projection_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/projection_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/rename_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/rename_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/rename_operand_and_empty_aliases/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/rename_operand_and_empty_aliases/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/restriction_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/restriction_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/reverse_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/reverse_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/set_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/set_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/unchanged_header/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/unchanged_header/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/unoptimized_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/rename/unoptimized_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/class_methods/optimize_predicate_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/false_predicate/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/false_predicate/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/order_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/order_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/predicate_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/restriction_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/restriction_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/reverse_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/reverse_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/set_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/set_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/true_predicate/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/true_predicate/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/unoptimized_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/restriction/unoptimized_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/summarization/unoptimized_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/summarization/unoptimized_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/union/empty_left/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/union/empty_right/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/algebra/union/equal_operands/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/class_methods/chain_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/binary/equal_operands/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/binary/equal_operands/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/binary/left_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/binary/redundant_left_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/binary/redundant_left_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/binary/redundant_right_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/binary/redundant_right_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/binary/right_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/binary/unoptimized_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/binary/unoptimized_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/conjunction/always_false/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/conjunction/always_false/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/conjunction/optimizable_to_exclusion/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/conjunction/optimizable_to_exclusion/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/conjunction/true_left_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/conjunction/true_left_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/conjunction/true_right_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/conjunction/true_right_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/disjunction/always_true/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/disjunction/always_true/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/disjunction/false_left_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/disjunction/false_left_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/disjunction/false_right_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/disjunction/false_right_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/disjunction/optimizable_to_inclusion/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/disjunction/optimizable_to_inclusion/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/negation/invertible_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/negation/invertible_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/connective/negation/operand_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/always_false/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/always_true/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/class_methods/optimize_operand_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/comparable/never_comparable/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/comparable/never_equivalent/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/comparable/normalizable_operands/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/comparable/normalizable_operands/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/constant_operands/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/constant_operands/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/enumerable/empty_right_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/enumerable/one_right_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/enumerable/unoptimized_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/enumerable/unoptimized_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/equality/always_true/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/exclusion/empty_right_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/exclusion/one_right_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/greater_than/always_false/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/greater_than/always_true/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/greater_than_or_equal_to/always_false/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/greater_than_or_equal_to/always_true/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/inclusion/empty_right_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/inclusion/one_right_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/inequality/always_false/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/left_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/less_than/always_false/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/less_than/always_true/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/less_than_or_equal_to/always_false/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/less_than_or_equal_to/always_true/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/right_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/util/class_methods/attribute_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/util/class_methods/constant_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/util/class_methods/max_spec.rb",
-    "spec/unit/veritas/optimizer/logic/predicate/util/class_methods/min_spec.rb",
-    "spec/unit/veritas/optimizer/operation_spec.rb",
-    "spec/unit/veritas/optimizer/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/materialized/empty_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/materialized/empty_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/binary/empty_left/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/binary/empty_right/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/binary/equal_operands/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/binary/left_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/binary/materialized_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/binary/materialized_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/binary/right_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/binary/unoptimized_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/binary/unoptimized_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/combination/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/limit/equal_limit_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/limit/equal_limit_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/limit/limit_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/limit/limit_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/limit/unoptimized_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/limit/unoptimized_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/limit/zero_limit/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/limit/zero_limit/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/offset/offset_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/offset/offset_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/offset/unoptimized_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/offset/unoptimized_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/offset/zero_offset/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/offset/zero_offset/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/order/one_limit_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/order/one_limit_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/order/order_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/order/order_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/order/unoptimized_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/order/unoptimized_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/reverse/order_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/reverse/order_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/reverse/reverse_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/reverse/reverse_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/reverse/unoptimized_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/reverse/unoptimized_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/unary/empty_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/unary/empty_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/unary/materialized_operand/optimizable_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/unary/materialized_operand/optimize_spec.rb",
-    "spec/unit/veritas/optimizer/relation/operation/unary/operand_spec.rb",
     "spec/unit/veritas/relation/class_methods/new_spec.rb",
     "spec/unit/veritas/relation/directions_spec.rb",
     "spec/unit/veritas/relation/each_spec.rb",
@@ -1257,6 +793,7 @@ Gem::Specification.new do |s|
     "spec/unit/veritas/relation/equal_value_spec.rb",
     "spec/unit/veritas/relation/hash_spec.rb",
     "spec/unit/veritas/relation/header/class_methods/coerce_spec.rb",
+    "spec/unit/veritas/relation/header/class_methods/new_spec.rb",
     "spec/unit/veritas/relation/header/difference_spec.rb",
     "spec/unit/veritas/relation/header/each_spec.rb",
     "spec/unit/veritas/relation/header/element_reference_spec.rb",
@@ -1358,21 +895,24 @@ Gem::Specification.new do |s|
     s.specification_version = 3
 
     if Gem::Version.new(Gem::VERSION) >= Gem::Version.new('1.2.0') then
-      s.add_development_dependency(%q<backports>, ["~> 2.0.2"])
+      s.add_development_dependency(%q<backports>, ["~> 2.1.0"])
       s.add_development_dependency(%q<jeweler>, ["~> 1.5.2"])
       s.add_development_dependency(%q<rake>, ["~> 0.8.7"])
-      s.add_development_dependency(%q<rspec>, ["~> 1.3.1"])
+      s.add_development_dependency(%q<rspec>, ["~> 1.3.2"])
+      s.add_development_dependency(%q<yard>, ["~> 0.6.8"])
     else
-      s.add_dependency(%q<backports>, ["~> 2.0.2"])
+      s.add_dependency(%q<backports>, ["~> 2.1.0"])
       s.add_dependency(%q<jeweler>, ["~> 1.5.2"])
       s.add_dependency(%q<rake>, ["~> 0.8.7"])
-      s.add_dependency(%q<rspec>, ["~> 1.3.1"])
+      s.add_dependency(%q<rspec>, ["~> 1.3.2"])
+      s.add_dependency(%q<yard>, ["~> 0.6.8"])
     end
   else
-    s.add_dependency(%q<backports>, ["~> 2.0.2"])
+    s.add_dependency(%q<backports>, ["~> 2.1.0"])
     s.add_dependency(%q<jeweler>, ["~> 1.5.2"])
     s.add_dependency(%q<rake>, ["~> 0.8.7"])
-    s.add_dependency(%q<rspec>, ["~> 1.3.1"])
+    s.add_dependency(%q<rspec>, ["~> 1.3.2"])
+    s.add_dependency(%q<yard>, ["~> 0.6.8"])
   end
 end