Derivable version here.