public void XorNot_ReturnsExclusiveDisjunction_WithNegationRight()
{
var spec1 = new IntegerGreaterThanZero();
var spec2 = new IntegerLessThanZero();
var conjoinedSpec = spec1.XorNot(spec2);
Assert.That(conjoinedSpec, Is.TypeOf<ExclusiveDisjunction<int>>());
Assert.That(conjoinedSpec, Has.Property("Left").EqualTo(spec1));
Assert.That(conjoinedSpec, Has.Property("Right").TypeOf<Negation<int>>());
Assert.That(conjoinedSpec, Has.Property("Right").With.Property("Inner").EqualTo(spec2));
}
