public function testAndXReturnsFalse() { $conjunction1 = new AndX(array($notNull = new Same('10'))); $conjunction2 = $conjunction1->andX($false = Expr::false()); $this->assertSame($false, $conjunction2); }