"Pseudo-effect algebra" . . . "Pseudo-effect algebra" .