`implied`