S and its inverse are logical equivalents.
See also: Converse, Contrapositive
... Ludvika (http://www.ludvika.se) - Official site Municipalities of Dalarna[?]: Avesta | Borlänge | Falun | Gagnef | ...