Derivable Horns