# Extract the text of `self` without leading and trailing.
	fun text: String do return value.substring(leading, value.length - trailing)