Derivable horns.