public function getPositivity(): int; }