Translation of "Spesensatz" in English