s-implicty has moved to