see s-minus.txt