derivable version