Final derivable code