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