s with implicat