require 'spec_helper'

describe 'Veritas::Logic::Proposition::True.inverse' do
  subject { Logic::Proposition::True.inverse }

  it { should equal(Logic::Proposition::False) }
end