Translation of "Vorzeichenlogik" in English