function it_is_not_satisfied_if_both_inner_specifications_are_not_satisfied(Specification $one, Specification $other)
 {
     $one->isSatisfiedBy(true)->willReturn(false);
     $other->isSatisfiedBy(true)->willReturn(false);
     $this->isSatisfiedBy(true)->shouldReturn(false);
 }
 function it_inverts_the_inner_specification(Specification $spec)
 {
     $spec->isSatisfiedBy(true)->willReturn(true);
     $this->isSatisfiedBy(true)->shouldReturn(false);
 }