$ does NOT need to be an involution!