premis implicat