public function testInvokeCurried() { $Disjunct = new Disjunct(false); $this->assertTrue($Disjunct(true)); }