a derivable frame