bottom derivable