The English term "proposition" matches the Swedish term "sats"