public function testOrXReturnsTrue() { $disjunction1 = new OrX(array($notNull = new Same('10'))); $disjunction2 = $disjunction1->orX($true = new AlwaysTrue()); $this->assertSame($true, $disjunction2); }