. "disiunx" . .