Layered derivable Top