Berghofer: removing `ws ≢ []` from the arguments.