https://capressocoffemakerthecheapest.blogspot.com/2024/05/min-arg-empty-sequence.html