Derivable Top