Derivable tail.